src/Pure/ML-Systems/smlnj-0.93.ML
Mon, 29 Jun 1998 10:32:06 +0200 wenzelm use_text: verbose flag;
Mon, 15 Jun 1998 11:06:00 +0200 wenzelm use_text replaces use_strings;
Thu, 28 May 1998 12:21:05 +0200 wenzelm added ml_prompts;
Fri, 02 Jan 1998 11:17:06 +0100 paulson Declared startTiming and endTiming
Sun, 28 Dec 1997 15:46:13 +0100 wenzelm fixed execute;
Wed, 17 Dec 1997 14:57:26 +0100 wenzelm tuned comment;
Tue, 02 Dec 1997 12:38:39 +0100 wenzelm ISABELLE_TMP;
Wed, 06 Aug 1997 14:42:44 +0200 wenzelm renamed use_string to use_strings;
Tue, 05 Aug 1997 17:03:11 +0200 wenzelm cleaned up;
Tue, 05 Aug 1997 17:02:50 +0200 wenzelm tuned comments;
Mon, 16 Dec 1996 10:35:51 +0100 wenzelm SML/NJ startup script (for 0.93).
less more (0) tip