src/Pure/ML-Systems/mlworks.ML
Thu, 28 May 1998 12:21:05 +0200 wenzelm added ml_prompts;
Wed, 27 May 1998 12:25:56 +0200 paulson Structure Option now declared in MLWorks
Wed, 17 Dec 1997 15:43:54 +0100 wenzelm misc improvements;
Tue, 16 Dec 1997 18:58:16 +0100 wenzelm Compatibility file for MLWorks version 1.0r2 or later.
less more (0) tip