…
..
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