| Tue, 02 Dec 1997 12:38:39 +0100 | wenzelm | ISABELLE_TMP; | file | diff | annotate |
| Wed, 06 Aug 1997 14:42:44 +0200 | wenzelm | renamed use_string to use_strings; | file | diff | annotate |
| Tue, 05 Aug 1997 17:03:11 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Tue, 05 Aug 1997 17:02:50 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Mon, 16 Dec 1996 10:35:51 +0100 | wenzelm | SML/NJ startup script (for 0.93). | file | diff | annotate |