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