Fri, 01 Jul 2005 14:41:57 +0200 |
wenzelm |
isatool install: removed KDE option;
|
file |
diff |
annotate
|
Tue, 26 Apr 2005 20:41:37 +0200 |
wenzelm |
removed -a option;
|
file |
diff |
annotate
|
Tue, 26 Apr 2005 19:51:12 +0200 |
wenzelm |
restored AUTO_BASH/PERL -- beware of ./configure!
|
file |
diff |
annotate
|
Thu, 14 Apr 2005 19:16:07 +0200 |
aspinall |
Add RDISTDIR option used by Isabelle RPM.
|
file |
diff |
annotate
|
Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 08 Sep 2001 20:00:31 +0200 |
wenzelm |
smart selection of isabelle-process versus isabelle-interface;
|
file |
diff |
annotate
|
Wed, 14 Feb 2001 23:43:55 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 14 Feb 2001 23:18:47 +0100 |
wenzelm |
handle KDE version 1 or 2;
|
file |
diff |
annotate
|
Thu, 30 Nov 2000 20:10:29 +0100 |
wenzelm |
/usr/bin/env bash;
|
file |
diff |
annotate
|
Tue, 21 Nov 2000 19:02:31 +0100 |
wenzelm |
quote executable;
|
file |
diff |
annotate
|
Tue, 19 Sep 2000 23:51:00 +0200 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 17:50:36 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Tue, 26 Oct 1999 17:00:46 +0200 |
wenzelm |
Isabelle %f;
|
file |
diff |
annotate
|
Wed, 20 Oct 1999 11:05:38 +0200 |
wenzelm |
tuned usage;
|
file |
diff |
annotate
|