Document how to visualize theory graphs

[ComFreek]

Draft (with help of @Jazzpirate):

---

Assumption: you are in a shell and the archive, say MMT/LATIN2, thatwant to visualize is located at, say ./MMT/LATIN2, i.e. relative to the current working directory.

1. java -jar mmt.jar

2. mathpath archive . (or however you load archives usually)

3. build MMT/LATIN2 mmt-omdoc (if large archive and you just want to visualize everything inside a file: build MMT/LATIN2 mmt-omdoc path-to-specific-mmt-file.mmt might suffice)

4. clear (to force MMT reload the relational store -- just to be sure)

5. server on 8080

6. Go to http://localhost:8081/:jgraph/json?key=archivegraph&uri=MMT/LATIN2

   • Here, uri is the relative path. (TODO: uri is a misnomer, rename this)
   • If you do everything from within IntelliJ with the MMT-IntelliJ plugin, it's unclear what the current working directory is.

7. Save JSON and import at https://tgview3d.mathhub.info/.