2 Title: MLTeX - A special package for writing MLRISC documentation
3 Author: Allen Leung, Lal George
4 Abstract: MLTeX is a special LaTeX package for writing MLRISC
5 documentation. It is similar to the latex2html tool except that MLTeX has
6 special environments for documentating Standard ML code. In addition, there
7 is an accompanying tool called mltex2html for generating HTML pages.
11 Files: /usr/share/doc/smlnj-doc/mltexdoc.ps.gz