search

UniFormal / MMT

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

Check Documentation on Notation Tokens and Judgment Role Notation Generator #541

Closed rappatoni closed 3 years ago

rappatoni commented 3 years ago

Please double-check the addition I made hre.

Also, if there are any more notation tokens of the kind %\<argument>\<argument> besides the ones I mentioned there, we should document them.

florian-rabe commented 3 years ago

It loos OK.

There are a few more - they can be seen in the documentation of the source code for the parser - NotationComponents.scala, function Marker.parse.

ComFreek commented 3 years ago

See #516 for a compilation of notation syntax.