search

UniFormal / MMT

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

eventually deprecate sms generation and dependencies #551

Open kohlhase opened 3 years ago

kohlhase commented 3 years ago

sTeX has gotten rid of sms files generation. That should be reflected in the build system.