#
239ff6e6 |
|
10-Mar-2016 |
wenzelm <none@none> |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
#
9eca96a0 |
|
30-Sep-2015 |
wenzelm <none@none> |
renamed jvmpath to platform_path;
|
#
d0cf0b84 |
|
09-Oct-2014 |
wenzelm <none@none> |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
#
37ad4f7f |
|
24-May-2014 |
wenzelm <none@none> |
more portable -- accomodate MiKTeX on Windows;
|
#
2979783f |
|
25-Jun-2013 |
wenzelm <none@none> |
more formal isabelle_admin_build; tuned;
|
#
9d6bc505 |
|
25-Sep-2012 |
wenzelm <none@none> |
proper error message;
|
#
056f16c4 |
|
05-Mar-2010 |
wenzelm <none@none> |
isabelle browser -b: Admin/build only;
|
#
58595258 |
|
09-Jan-2010 |
wenzelm <none@none> |
pass build error code;
|
#
479b6aec |
|
06-Jan-2010 |
wenzelm <none@none> |
simplified build/bootstrap of graph browser -- avoid make;
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
95aa5d84 |
|
21-Oct-2008 |
wenzelm <none@none> |
tuned usage line;
|
#
4ad1829c |
|
04-Oct-2008 |
wenzelm <none@none> |
replaced ISATOOL by ISABELLE_TOOL;
|
#
4a0bc23c |
|
16-Aug-2008 |
wenzelm <none@none> |
refined scala/java wrappers via isatool;
|
#
489f1d53 |
|
15-Aug-2008 |
wenzelm <none@none> |
proper RC;
|
#
f04dc0f8 |
|
15-Aug-2008 |
wenzelm <none@none> |
refined JVM path wrappers;
|
#
92bedd20 |
|
06-Mar-2008 |
wenzelm <none@none> |
check ISABELLE_BROWSER_INFO before cd;
|
#
af65718b |
|
15-Dec-2007 |
wenzelm <none@none> |
added javapath (for cygwin);
|
#
b90a77cf |
|
18-Sep-2006 |
wenzelm <none@none> |
renamed option -d to -c (cf. isatool display); operate on PRIVATE_FILE;
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
91ec5461 |
|
12-Apr-2004 |
kleing <none@none> |
use .jar
|
#
e7e8ec04 |
|
07-May-2003 |
kleing <none@none> |
use different main class for batch mode
|
#
ffc451da |
|
23-Oct-2001 |
wenzelm <none@none> |
unset DISPLAY (again);
|
#
ceaefb75 |
|
22-Oct-2001 |
wenzelm <none@none> |
keep DISPLAY;
|
#
a18af722 |
|
20-Oct-2001 |
wenzelm <none@none> |
-o pdf: produce *both* eps and pdf; tuned;
|
#
965f8057 |
|
16-Oct-2001 |
berghofe <none@none> |
Tuned.
|
#
d354b4fa |
|
16-Oct-2001 |
wenzelm <none@none> |
option -o FILE --output to FILE (ps, eps, pdf);
|
#
7098bba5 |
|
30-Nov-2000 |
wenzelm <none@none> |
/usr/bin/env bash;
|
#
e9e9889b |
|
22-Nov-2000 |
wenzelm <none@none> |
tuned;
|
#
a1abb2d6 |
|
01-Sep-2000 |
wenzelm <none@none> |
fixed quoting;
|
#
30bdb608 |
|
01-Sep-2000 |
wenzelm <none@none> |
GPLed; more robust handling of spaces in args / file names;
|
#
4d015d8a |
|
03-Jul-2000 |
wenzelm <none@none> |
fixed usage;
|
#
8d7c60d3 |
|
29-Jun-2000 |
wenzelm <none@none> |
fixed ISABELLE_BROWSER_INFO;
|
#
611f9769 |
|
07-Oct-1999 |
berghofe <none@none> |
New option -d for deleting file after use.
|
#
c73375e6 |
|
07-Aug-1997 |
berghofe <none@none> |
Startup script for Isabelle theory browser.
|