Admin/page/main-content/index.content
Mon, 19 Apr 2004 08:20:52 +0200 kleing add HOL4
Sat, 17 Apr 2004 14:51:21 +0200 nipkow small additions
Sat, 17 Apr 2004 00:50:45 +0200 kleing add HOL-Matrix
Fri, 16 Apr 2004 09:27:32 +0200 kleing make weblint happy
Fri, 16 Apr 2004 08:17:19 +0200 nipkow *** empty log message ***
Fri, 16 Apr 2004 04:06:52 +0200 kleing add feature list
Tue, 10 Feb 2004 12:17:04 +0100 paulson updated links to the old ftp site
Fri, 10 Oct 2003 19:34:28 +0200 berghofe Added overview page.
Thu, 06 Mar 2003 12:22:28 +0100 kleing link to devel snapshot
Tue, 16 Apr 2002 12:23:33 +0200 kleing inserted tutorial
Tue, 13 Feb 2001 16:31:18 +0100 wenzelm tuned;
Fri, 06 Oct 2000 16:11:53 +0200 wenzelm tuned;
Thu, 28 Sep 2000 23:00:55 +0200 wenzelm tuned;
Thu, 21 Sep 2000 14:54:24 +0200 kleing added headline, "quick download", and mailing list archive
Wed, 20 Sep 2000 21:20:41 +0200 wenzelm removed dead code;
Mon, 18 Sep 2000 15:21:01 +0200 wenzelm tuned;
Mon, 18 Sep 2000 14:35:54 +0200 wenzelm improved pages;
Mon, 11 Sep 2000 17:41:34 +0200 wenzelm improved WWW page generation (still somewhat experimental);
Wed, 12 Jul 2000 14:46:28 +0200 kleing about -> logics, better access to online libraries
Wed, 09 Feb 2000 13:43:35 +0100 kleing clearer "Obtaining" section
Wed, 22 Dec 1999 16:12:38 +0100 kleing some tuning (incorporated David's suggestions)
Thu, 09 Dec 1999 13:11:12 +0100 kleing full url to local (munich) page
Thu, 09 Dec 1999 11:34:32 +0100 kleing new webpage layout
less more (0) tip