| Wed, 10 Dec 2014 19:24:54 +0100 | wenzelm | more careful handling of auxiliary environment structure -- allow nested ML evaluation; | file | diff | annotate |
| Tue, 25 Mar 2014 13:18:10 +0100 | wenzelm | added command 'SML_file' for Standard ML without Isabelle/ML add-ons; | file | diff | annotate |
| Mon, 23 Mar 2009 21:40:11 +0100 | wenzelm | de-camelized ML_Name_Space; | file | diff | annotate |
| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Wed, 17 Sep 2008 21:27:22 +0200 | wenzelm | ML name space -- dummy version of Poly/ML 5.2 facility. | file | diff | annotate |