| #
01f1c762 |
|
03-Apr-2016 |
wenzelm <none@none> |
clarified usage;
|
| #
9eca96a0 |
|
30-Sep-2015 |
wenzelm <none@none> |
renamed jvmpath to platform_path;
|
| #
813ff1d5 |
|
22-Apr-2012 |
wenzelm <none@none> |
more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe);
|
| #
1a74cee6 |
|
07-Jun-2009 |
wenzelm <none@none> |
isabelle getenv: option -d;
|
| #
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
| #
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
| #
5624989e |
|
01-Sep-2005 |
wenzelm <none@none> |
refrain from sorting output;
|
| #
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
| #
7098bba5 |
|
30-Nov-2000 |
wenzelm <none@none> |
/usr/bin/env bash;
|
| #
e9e9889b |
|
22-Nov-2000 |
wenzelm <none@none> |
tuned;
|
| #
30bdb608 |
|
01-Sep-2000 |
wenzelm <none@none> |
GPLed;
more robust handling of spaces in args / file names;
|
| #
17391cac |
|
22-Apr-1997 |
wenzelm <none@none> |
removed -norc;
|
| #
0efd4a32 |
|
05-Mar-1997 |
wenzelm <none@none> |
improved DESCRIPTION;
|
| #
b1315544 |
|
05-Mar-1997 |
wenzelm <none@none> |
added -a, -b options;
multiple VARNAMES;
|
| #
88c627bc |
|
09-Dec-1996 |
wenzelm <none@none> |
added -norc option;
|
| #
034b646d |
|
04-Dec-1996 |
wenzelm <none@none> |
*** empty log message ***
|
| #
1713f3c5 |
|
02-Dec-1996 |
wenzelm <none@none> |
getenv: get value from Isabelle settings.
|