13th Git Release
- new class AnnotationProvider for providing extra information on MMT declarations these are shown in particular in the jEdit gutter
- first version of structural features for inductive types, record types
- improved statistics generation
- major progress on Isabelle importer
- minor improvements of GAP/Sage-Imports and LMFDB-Plugin