| Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 17:05:48 +0200 |
wenzelm |
added isabelle_java cold-start executable;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:59:41 +0200 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
| Wed, 22 May 2013 18:10:54 +0200 |
wenzelm |
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2012 15:18:11 +0100 |
wenzelm |
simplified command line of "isabelle install";
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:39:27 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:03:45 +0100 |
wenzelm |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:07 +0200 |
wenzelm |
tuned usage line;
|
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
|
| Tue, 08 Apr 2008 15:47:12 +0200 |
wenzelm |
removed obsolete AUTO_BASH feature;
|
file |
diff |
annotate
|
| 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
|
| Fri, 30 Apr 1999 17:59:36 +0200 |
wenzelm |
improved icons;
|
file |
diff |
annotate
|
| Tue, 20 Apr 1999 15:23:43 +0200 |
wenzelm |
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
|
file |
diff |
annotate
|
| Mon, 19 Apr 1999 17:53:38 +0200 |
wenzelm |
improved usage;
|
file |
diff |
annotate
|
| Tue, 13 Apr 1999 12:36:11 +0200 |
wenzelm |
-p option;
|
file |
diff |
annotate
|
| Tue, 12 Jan 1999 12:17:53 +0100 |
wenzelm |
configure AUTO_BASH, AUTO_PERL;
|
file |
diff |
annotate
|
| Fri, 28 Aug 1998 14:18:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 Aug 1998 14:08:55 +0200 |
wenzelm |
-d DISTDIR;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 20:15:43 +0200 |
wenzelm |
exec;
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 17:16:49 +0200 |
wenzelm |
mkdir -p;
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 15:49:53 +0200 |
wenzelm |
install binaries with absolute references to ISABELLE_HOME/bin;
|
file |
diff |
annotate
|