| Tue, 25 Mar 2014 19:27:55 +0100 | wenzelm | more warnings for recent versions of Poly/ML (see also fe1f6a1707f7); | changeset | files |
| Tue, 25 Mar 2014 19:13:33 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Tue, 25 Mar 2014 19:03:02 +0100 | wenzelm | proper configuration option "ML_print_depth"; | changeset | files |
| Tue, 25 Mar 2014 17:59:34 +0100 | wenzelm | removed junk; | changeset | files |
| Tue, 25 Mar 2014 16:54:38 +0100 | wenzelm | clarified options ML_source_trace and ML_exception_trace (NB: the latter needs to be a system option, since the context is sometimes not available, e.g. for 'theory' command); | changeset | files |
| Tue, 25 Mar 2014 16:11:00 +0100 | wenzelm | separate tokenization and language context for SML: no symbols, no antiquotes; | changeset | files |
| Tue, 25 Mar 2014 15:15:33 +0100 | wenzelm | separate "sml" mode, suppress old "ml" mode altogether; | changeset | files |