| 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
|
| Mon, 18 Sep 2000 17:58:03 +0200 |
wenzelm |
rpm --force;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2000 15:34:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2000 14:35:54 +0200 |
wenzelm |
improved pages;
|
file |
diff |
annotate
|