search

UniFormal / MMT

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

Reader.GS, US, ... not the correct delimiters anymore, deprecate? #452

Open ComFreek opened 5 years ago

ComFreek commented 5 years ago

These lower ASCII delimiters were already deprecated with #312 apparently.