src/Pure/ML-Systems/smlnj.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;
Wed, 17 Dec 1997 14:57:26 +0100 wenzelm tuned comment;
Sat, 13 Dec 1997 17:22:41 +0100 wenzelm tuned comment;
Fri, 12 Dec 1997 22:41:15 +0100 wenzelm Compatibility file for Standard ML of New Jersey.
less more (0) tip