search

UniFormal / MMT

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

standaredize *.mmtx as "experimental" MMT and support it in JEdit #369

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

At some point Dennis introduced the informal convention that *.mmtx was "experimental MMT" to be looked at again, but not processed. But I also see *.mmt_todo and *.mmt_xx files, presumably with the same intent.

It would be good to standardize (and document in the MMT documentation) and have a subset of MMT support for this in JEdit. For instance, syntax highlighting would be nice, but not automated build on save. What else?

florian-rabe commented 6 years ago

I've change the mmt mode for jEdit to accept all file names of the form '.mmt'.

A more fine-grained regular expression is also possible.