src/Pure/mk
Wed, 18 Dec 1996 12:42:20 +0100 wenzelm minor modifications to accomodate IsaMakefile;
Mon, 16 Dec 1996 10:00:08 +0100 wenzelm now passes ML_SYSTEM as ml_system;
Mon, 09 Dec 1996 16:09:02 +0100 wenzelm *** empty log message ***
Mon, 09 Dec 1996 16:05:41 +0100 wenzelm mk - build Pure Isabelle.
less more (0) tip