| #
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.
|