UniFormal / IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
3 stars 1 forks source link

Add `fixmeta` syntax #13

Closed ComFreek closed 4 years ago

ComFreek commented 5 years ago

image

See end of https://uniformal.github.io/doc/language/namespaces.html.

ComFreek commented 4 years ago

Seems to be fixed in the latest version, probably by Dennis 😄