Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
BUG
eXlibris / XTLS / TLSImplicit
DISCUSS
eXlibris / XTLS / TLSImplicit
New_Funct
eXlibris / XTLS / TLSImplicit
Performance optimisation
eXlibris / XTLS / TLSImplicit
Theory_update
eXlibris / XTLS / TLSImplicit
To clean
eXlibris / XTLS / TLSImplicit
TRANSFERT
material that hve to be transfered elsewhere
eXlibris / XTLS / TLSImplicit
User_Interface_Improvement
Issues to improve the user interface
eXlibris / XTLS / TLSImplicit
Prioritized label