Thu, 10 Feb 2005 07:47:06 +0100 |
kleing |
pointer to isabelle-lemmas submission list
|
file |
diff |
annotate
|
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
|