Tue, 25 Mar 2014 15:15:33 +0100 | wenzelm | separate "sml" mode, suppress old "ml" mode altogether; | changeset | files |
Tue, 25 Mar 2014 14:52:35 +0100 | wenzelm | some SML examples; | changeset | files |
Tue, 25 Mar 2014 13:18:10 +0100 | wenzelm | added command 'SML_file' for Standard ML without Isabelle/ML add-ons; | changeset | files |