configure
Thu, 17 Dec 1998 17:41:32 +0100 wenzelm bash -c :;
Tue, 22 Apr 1997 11:37:12 +0200 wenzelm removed -norc;
Fri, 07 Mar 1997 11:48:46 +0100 wenzelm moved settings comment to build;
Mon, 17 Feb 1997 18:12:03 +0100 wenzelm manual steps comment;
Mon, 17 Feb 1997 17:22:19 +0100 wenzelm configure - adapt Isabelle distribution to system environment
less more (0) tip