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