| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Tue, 26 Feb 2002 00:19:04 +0100 | wenzelm | converted; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Mon, 02 Jun 1997 12:16:24 +0200 | paulson | Corrected banner: it is W0, not MiniML | file | diff | annotate |
| Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | file | diff | annotate |
| Fri, 17 Jan 1997 13:21:54 +0100 | nipkow | This is the old version og MiniML for the monomorphic case. | file | diff | annotate |