aboutsummaryrefslogtreecommitdiff
path: root/devel/ml-doc/files
ModeNameSize
-rw-r--r--fix-cml-doc.sh.in918logplainblame
-rw-r--r--lib-Makefile703logplainblame
-rw-r--r--mkdoc.1.in2561logplainblame
-rw-r--r--ml-doc.1.in46519logplainblame
-rw-r--r--patch-Makefile.in464logplainblame
-rw-r--r--patch-config-install-sml-wrapper_sh.in1227logplainblame
-rw-r--r--patch-configure1554logplainblame
-rw-r--r--patch-tools-html-gen-do_spec.sml417logplainblame
-rw-r--r--patch-tools-lib-code_style-sml_token_scanner.sml1470logplainblame
-rw-r--r--patch-tools-lib-latex-text_to_latex.sml498logplainblame