| Mon, 23 Nov 2009 22:59:48 +0100 |
wenzelm |
multiplatform polyml.tar.gz;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 20:03:08 +0200 |
wenzelm |
misc tuning for Isabelle2009;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 14:30:16 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 17:40:56 +0200 |
wenzelm |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2007 19:42:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 11:50:38 +0200 |
wenzelm |
updated for Isabelle2005;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2005 14:41:57 +0200 |
wenzelm |
isatool install: removed KDE option;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 16:41:20 +0200 |
wenzelm |
./configure obsolete on virtually all systems, but apt to cause problems;
|
file |
diff |
annotate
|
| Tue, 13 May 2003 08:59:21 +0200 |
kleing |
HOL-Real -> HOL-Complex
Isabelle2003
|
file |
diff |
annotate
|
| Mon, 12 May 2003 13:57:23 +0200 |
kleing |
removed references to KDE versions (works for any).
|
file |
diff |
annotate
|
| Wed, 14 Feb 2001 23:42:45 +0100 |
wenzelm |
isatool install -k;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2000 17:04:17 +0200 |
wenzelm |
simplified;
|
file |
diff |
annotate
|
| Wed, 20 Sep 2000 14:59:19 +0200 |
wenzelm |
tuned rpm command lines;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2000 23:50:43 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Mon, 11 Sep 2000 20:41:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:23:27 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 15:16:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 13 Apr 1999 12:35:28 +0200 |
wenzelm |
adapted isatool install;
|
file |
diff |
annotate
|
| Wed, 10 Mar 1999 17:24:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 08 Feb 1999 15:55:35 +0100 |
wenzelm |
no deps on compile time sources;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 18:36:23 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 18:34:55 +0200 |
wenzelm |
isatool install;
|
file |
diff |
annotate
|
| Thu, 20 Nov 1997 15:38:51 +0100 |
wenzelm |
removed old note;
|
file |
diff |
annotate
|
| Fri, 23 May 1997 18:55:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 20 May 1997 19:34:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 May 1997 15:24:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Mar 1997 15:51:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Mar 1997 14:49:56 +0100 |
wenzelm |
Isabelle installation notes;
|
file |
diff |
annotate
|