search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Theories with percent signs (%) in name only inconsistently known to controller #512

Open ComFreek opened 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 containing percent signs in their name:

image

Upon click on any of those theories I get an error: image

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

After eliminating the percent sign generation, it works flawlessly.

ComFreek commented 4 years ago

Florian said it's probably a bug in the HTMLPresenter since all the datastructures inside MMT should handle percent signs and other signs (also question marks and so on) quite well, just the output by HTMLPresenter might be ambiguous.