…

..

fix-cml-doc.sh.in

…

lib-Makefile

…

mkdoc.1.in

…

ml-doc.1.in

…

patch-config-install-sml-wrapper_sh.in

…

patch-configure

…

patch-Makefile.in

…

patch-tools-html-gen-do_spec.sml

…

patch-tools-lib-code_style-sml_token_scanner.sml

…

patch-tools-lib-latex-text_to_latex.sml

…