make stats and debug work on monolingual sTeX as well.
the tools are so nice that I would like to have them for my lectures as well. In particular for AI.
There are a couple of differences
- NL and SIG are mixed in a single module
\begin/\end{module}
instead of \begin/end{modsig}` -
\gimport[rep]{foo}
is a short form of\importmhmodule[repos=rep,path=.../foo]{foo}
and analogously for\guse
. - there may be more than one module per file.
- and things I forget; they will turn up when I use the tool.