#
7bdf7ce8 |
|
02-Oct-2016 |
wenzelm <none@none> |
added isabelle_java cold-start executable;
|
#
00eb33e4 |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual; --HG-- rename : bin/isabelle_process => lib/Tools/process
|
#
8daa673f |
|
06-Apr-2014 |
wenzelm <none@none> |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups; --HG-- rename : bin/isabelle-process => bin/isabelle_process
|
#
08b28396 |
|
22-May-2013 |
wenzelm <none@none> |
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
|
#
0b36e064 |
|
20-Nov-2012 |
wenzelm <none@none> |
simplified command line of "isabelle install";
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
6c0630fa |
|
30-Nov-2008 |
wenzelm <none@none> |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
#
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
#
f208fd4b |
|
04-Oct-2008 |
wenzelm <none@none> |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
#
ee57505f |
|
08-Apr-2008 |
wenzelm <none@none> |
removed obsolete AUTO_BASH feature;
|
#
bf0bbd7b |
|
01-Jul-2005 |
wenzelm <none@none> |
isatool install: removed KDE option;
|
#
683910e9 |
|
26-Apr-2005 |
wenzelm <none@none> |
removed -a option; fixed -d option to do what -a was trying; tuned;
|
#
d13cd927 |
|
26-Apr-2005 |
wenzelm <none@none> |
restored AUTO_BASH/PERL -- beware of ./configure! rm -f generated files to avoid accidental overwriting symlinked targets;
|
#
a0000ef3 |
|
14-Apr-2005 |
aspinall <none@none> |
Add RDISTDIR option used by Isabelle RPM.
|
#
9cc62485 |
|
04-Mar-2005 |
skalberg <none@none> |
Removed practically all references to Library.foldr.
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
b7f84a14 |
|
08-Sep-2001 |
wenzelm <none@none> |
smart selection of isabelle-process versus isabelle-interface;
|
#
5d38d553 |
|
14-Feb-2001 |
wenzelm <none@none> |
tuned;
|
#
7a5d6b2e |
|
14-Feb-2001 |
wenzelm <none@none> |
handle KDE version 1 or 2;
|
#
7098bba5 |
|
30-Nov-2000 |
wenzelm <none@none> |
/usr/bin/env bash;
|
#
0c11be4d |
|
21-Nov-2000 |
wenzelm <none@none> |
quote executable;
|
#
1e50121c |
|
19-Sep-2000 |
wenzelm <none@none> |
tuned msg;
|
#
30bdb608 |
|
01-Sep-2000 |
wenzelm <none@none> |
GPLed; more robust handling of spaces in args / file names;
|
#
74ed1676 |
|
26-Oct-1999 |
wenzelm <none@none> |
Isabelle %f;
|
#
60653451 |
|
20-Oct-1999 |
wenzelm <none@none> |
tuned usage;
|
#
bb7ea8dc |
|
30-Apr-1999 |
wenzelm <none@none> |
improved icons;
|
#
75a73e8f |
|
20-Apr-1999 |
wenzelm <none@none> |
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
|
#
7547e6fb |
|
19-Apr-1999 |
wenzelm <none@none> |
improved usage;
|
#
0abe815b |
|
12-Apr-1999 |
wenzelm <none@none> |
-p option; -k option;
|
#
0c5a4d7e |
|
11-Jan-1999 |
wenzelm <none@none> |
configure AUTO_BASH, AUTO_PERL;
|
#
27991b1b |
|
28-Aug-1998 |
wenzelm <none@none> |
tuned;
|
#
d4824603 |
|
28-Aug-1998 |
wenzelm <none@none> |
-d DISTDIR; tuned;
|
#
4237a8c6 |
|
27-Aug-1998 |
wenzelm <none@none> |
exec;
|
#
665e4c70 |
|
24-Aug-1998 |
wenzelm <none@none> |
mkdir -p;
|
#
5492c205 |
|
24-Aug-1998 |
wenzelm <none@none> |
install binaries with absolute references to ISABELLE_HOME/bin;
|