Dylan MOTARD
Repositories
Issues
Comments
Results
8
issues of
Dylan MOTARD
Adding file viewing types
Scrolling adjustment in all file windows
Core download formats
Colors variations
Core viewing window
Variations
Addition of a lemma
Allow to import a core
