Admin/page/main-content/index.content
2004-08-17 kleing 2004-08-17 improved wording course material
2004-08-17 kleing 2004-08-17 include course material page
2004-04-26 kleing 2004-04-26 added AFP
2004-04-22 kleing 2004-04-22 removed 'tutorial out now' (out of date)
2004-04-19 kleing 2004-04-19 add HOL4
2004-04-17 nipkow 2004-04-17 small additions
2004-04-17 kleing 2004-04-17 add HOL-Matrix
2004-04-16 kleing 2004-04-16 make weblint happy
2004-04-16 nipkow 2004-04-16 *** empty log message ***
2004-04-16 kleing 2004-04-16 add feature list
2004-02-10 paulson 2004-02-10 updated links to the old ftp site
2003-10-10 berghofe 2003-10-10 Added overview page.
2003-03-06 kleing 2003-03-06 link to devel snapshot
2002-04-16 kleing 2002-04-16 inserted tutorial
2001-02-13 wenzelm 2001-02-13 tuned;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-09-28 wenzelm 2000-09-28 tuned;
2000-09-21 kleing 2000-09-21 added headline, "quick download", and mailing list archive
2000-09-20 wenzelm 2000-09-20 removed dead code;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 improved pages;
2000-09-11 wenzelm 2000-09-11 improved WWW page generation (still somewhat experimental);
2000-07-12 kleing 2000-07-12 about -> logics, better access to online libraries
2000-02-09 kleing 2000-02-09 clearer "Obtaining" section
1999-12-22 kleing 1999-12-22 some tuning (incorporated David's suggestions)
1999-12-09 kleing 1999-12-09 full url to local (munich) page
1999-12-09 kleing 1999-12-09 new webpage layout