| Mon, 09 May 2005 01:32:47 +0200 |
kleing |
shortened
|
file |
diff |
annotate
|
| Fri, 06 May 2005 16:03:56 +0200 |
haftmann |
added notes for mac os
|
file |
diff |
annotate
|
| Fri, 06 May 2005 15:00:08 +0200 |
haftmann |
Added notes for installation on Windows
|
file |
diff |
annotate
|
| Fri, 06 May 2005 11:30:10 +0200 |
haftmann |
replaced some outdated HTML by more modern constructs
|
file |
diff |
annotate
|
| Wed, 02 Feb 2005 08:45:14 +0100 |
kleing |
link to PG FAQ for start up problem
|
file |
diff |
annotate
|
| Mon, 26 Apr 2004 13:01:37 +0200 |
kleing |
add solaris and darwin
|
file |
diff |
annotate
|
| Mon, 26 Apr 2004 09:14:14 +0200 |
kleing |
Isabelle on windoze
|
file |
diff |
annotate
|
| Thu, 22 Apr 2004 01:19:50 +0200 |
kleing |
added GNU Emacs, fixed x-symbol enabling (Options menu, not Customize)
|
file |
diff |
annotate
|
| Mon, 19 Apr 2004 12:17:58 +0200 |
kleing |
inlcude HOL proof terms and HOL4 image
|
file |
diff |
annotate
|
| Fri, 12 Dec 2003 03:41:47 +0100 |
kleing |
changed proof general links
|
file |
diff |
annotate
|
| Tue, 13 May 2003 08:59:21 +0200 |
kleing |
HOL-Real -> HOL-Complex
Isabelle2003
|
file |
diff |
annotate
|
| Mon, 12 May 2003 15:49:37 +0200 |
kleing |
no separate x-symbol package
|
file |
diff |
annotate
|
| Mon, 13 May 2002 10:40:59 +0200 |
wenzelm |
updated X-Symbol URL;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2002 18:12:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2002 22:44:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2002 22:24:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2002 18:07:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Nov 2001 20:56:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2001 16:17:46 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Wed, 14 Feb 2001 01:36:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Feb 2001 14:31:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 30 Nov 2000 20:14:25 +0100 |
wenzelm |
removed "./configure";
|
file |
diff |
annotate
|
| Fri, 06 Oct 2000 16:11:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2000 16:00:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2000 11:51:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2000 17:07:28 +0200 |
wenzelm |
simplified;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2000 18:25:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2000 16:34:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 20 Sep 2000 14:59:19 +0200 |
wenzelm |
tuned rpm command lines;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2000 23:59:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|