Open kohlhase opened 4 years ago
Now that sTeX --> OMDoc1.2 generation is making progress and Dennis will solve the OMDoc/MMT generation from that hopefully soon, ...
we should generate the JSON files that feed the MathHub glossasry and the MathHub Math Dictionary. MathHub generates these applications from a JSON file to be served by MMT. It currently uses the mockup files https://github.com/MathHubInfo/Frontend/blob/master/src/context/GlossaryClient/mock.json for the glossary for these. This must be generated by MMT.
Now that sTeX --> OMDoc1.2 generation is making progress and Dennis will solve the OMDoc/MMT generation from that hopefully soon, ...
we should generate the JSON files that feed the MathHub glossasry and the MathHub Math Dictionary. MathHub generates these applications from a JSON file to be served by MMT. It currently uses the mockup files https://github.com/MathHubInfo/Frontend/blob/master/src/context/GlossaryClient/mock.json for the glossary for these. This must be generated by MMT.