search

UniFormal / MMT

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

treat \begin/\end{modsig} like \begin{module} in sms creation #532

Closed kohlhase closed 3 years ago

kohlhase commented 3 years ago

probably also \begin/\end{mhmodnl} and \begin/\end{modnl}

lambdaTotoro commented 3 years ago

This became irrelevant with the deprecation of the sms format (see #551). Closing.