| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
| Mon, 01 Jun 2009 15:26:00 +0200 | wenzelm | ML_Env; | file | diff | annotate |
| Mon, 23 Mar 2009 22:56:03 +0100 | wenzelm | more systematic type use_context; | file | diff | annotate |
| Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Wed, 17 Sep 2008 21:27:24 +0200 | wenzelm | use_text/use_file now depend on explicit ML name space; | file | diff | annotate |
| Mon, 24 Mar 2008 23:34:24 +0100 | wenzelm | ML runtime compilation: pass position, tuned signature; | file | diff | annotate |