- *demo version* --> loads XML
- theorem reference still buggy
- fixed id issue with reference materials