configure
Tue, 26 Sep 2000 17:01:31 +0200 wenzelm tuned;
Mon, 11 Sep 2000 17:35:50 +0200 wenzelm added THIS;
Sun, 03 Sep 2000 20:01:27 +0200 wenzelm GPLed;
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