src/HOLCF/ex/ROOT.ML
Sat, 03 Nov 2001 18:41:28 +0100 wenzelm GPLed;
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Fri, 19 Dec 1997 10:28:33 +0100 wenzelm tuned;
Mon, 20 Oct 1997 12:45:51 +0200 wenzelm removed Dlist;
Mon, 12 May 1997 14:24:31 +0200 wenzelm removed Witness;
Fri, 31 Jan 1997 16:56:32 +0100 oheimb added Classlib.* and Witness.*,
Wed, 27 Nov 1996 10:34:28 +0100 paulson Uses Basis Library equivalent of cd
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Tue, 21 Nov 1995 12:43:09 +0100 clasohm removed make_chart;
Wed, 25 Oct 1995 12:53:24 +0100 clasohm added make_chart
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
Tue, 07 Feb 1995 17:25:31 +0100 regensbu CVS:
Thu, 24 Mar 1994 13:36:34 +0100 nipkow Franz fragen
Wed, 19 Jan 1994 17:40:26 +0100 nipkow HOLCF examples
less more (0) tip