lib/Tools/makeall
Thu, 06 Feb 1997 18:33:50 +0100 wenzelm removed getplatform, ISABELLE_OUTPUT_DIR;
Wed, 29 Jan 1997 15:58:17 +0100 wenzelm fixed getplatform call;
Thu, 09 Jan 1997 17:16:50 +0100 wenzelm make all Isabelle systems afresh;
less more (0) tip