Elaborated theories by structural diagram feature only inconsistently known to controller

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

Elaborated theories by structural diagram feature only inconsistently known to controller #511

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

For example I have

diagram SFOL_via_operator : ?LogicDiagramOperators := TYPIFY FOL DIAG FROM FILE "<path-on-my-disk>\MMT\LATIN2\source\logic\fol.mmt" ❚

Then after building the file, the MMT web server correctly shows some elaborated theories:

However, upon click I get an error:

The debugger tells me that not even controller.get(<that-shown-path-in-image>) works. Also, latin2Archive.allContent doesn't list the elaborated theory.

ComFreek commented 4 years ago

Superseeded by #512 since the actual issue were the percent signs.