2017-01-15 |
wenzelm |
updated to jvm-1.8;
|
file |
diff |
annotate
|
2017-01-15 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
2016-09-14 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
2016-08-13 |
wenzelm |
gnuplot presentation similar to former isatest-statistics;
|
file |
diff |
annotate
|
2016-07-14 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
2016-04-03 |
wenzelm |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
file |
diff |
annotate
|
2016-03-08 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
2016-03-08 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
2016-02-17 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
2016-01-23 |
wenzelm |
back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems;
|
file |
diff |
annotate
|
2016-01-02 |
wenzelm |
eliminated somewhat pointless and obscure options;
|
file |
diff |
annotate
|
2015-12-30 |
wenzelm |
tuned java options;
|
file |
diff |
annotate
|
2015-12-29 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
2015-11-22 |
wenzelm |
some GC options that potentially improve reactivity;
|
file |
diff |
annotate
|
2015-10-21 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
2015-10-07 |
wenzelm |
back to old-fashioned GC, which appears to work better with interactive applications;
|
file |
diff |
annotate
|
2015-09-10 |
wenzelm |
less ambitious options, to accomodate 4GB systems;
|
file |
diff |
annotate
|
2015-09-08 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
2015-09-08 |
wenzelm |
clarified ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
2015-08-26 |
wenzelm |
use fancy options of Java 8;
|
file |
diff |
annotate
|
2015-04-24 |
wenzelm |
more paranoia settings, e.g. relevant for Ubuntu 15.04;
|
file |
diff |
annotate
|
2015-02-23 |
wenzelm |
more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
|
file |
diff |
annotate
|
2014-12-11 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|
2014-10-09 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
2014-07-01 |
wenzelm |
more release notes;
|
file |
diff |
annotate
|
2014-06-30 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
2014-06-30 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
2014-04-23 |
wenzelm |
tuned options for scalac;
|
file |
diff |
annotate
|
2014-04-22 |
wenzelm |
updated to scala-2.11.0 with classpath provided by its etc/settings;
|
file |
diff |
annotate
|
2014-04-22 |
wenzelm |
no need to copy jars, after regular use of classpath in 793a429c63e7;
|
file |
diff |
annotate
|
2014-04-05 |
wenzelm |
proper settings instead of hard-wired information;
|
file |
diff |
annotate
|
2014-01-06 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
2014-01-06 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
2013-12-06 |
wenzelm |
generic $ISABELLE_OPEN;
|
file |
diff |
annotate
|
2013-12-06 |
wenzelm |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
file |
diff |
annotate
|
2013-10-07 |
wenzelm |
prefer "fresh" open -- requires Lion / Mountain Lion;
|
file |
diff |
annotate
|
2013-10-02 |
wenzelm |
unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
|
file |
diff |
annotate
|
2013-09-12 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
2013-09-12 |
wenzelm |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
|
file |
diff |
annotate
|
2013-08-31 |
wenzelm |
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
|
file |
diff |
annotate
|
2013-07-30 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
2013-07-27 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
2013-07-27 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
2013-07-07 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
2013-06-25 |
wenzelm |
prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
|
file |
diff |
annotate
|
2013-05-17 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
2013-05-14 |
wenzelm |
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
2013-05-12 |
wenzelm |
decentralized historic settings;
|
file |
diff |
annotate
|
2013-03-09 |
wenzelm |
accomodate encrypted file-system on linux;
|
file |
diff |
annotate
|
2012-11-25 |
wenzelm |
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
|
file |
diff |
annotate
|
2012-08-29 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
2012-08-17 |
wenzelm |
added "isabelle components" tool;
|
file |
diff |
annotate
|
2012-07-28 |
wenzelm |
discontinued special treatment of Proof General;
|
file |
diff |
annotate
|
2012-07-27 |
wenzelm |
proper shell variable;
|
file |
diff |
annotate
|
2012-07-24 |
wenzelm |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file |
diff |
annotate
|
2012-07-23 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2012-07-23 |
wenzelm |
updated smlnj settings;
|
file |
diff |
annotate
|
2012-07-06 |
wenzelm |
discontinued odd XSYMBOL_INSTALLFONTS, which is private to PG-3.7.x (isafonts.informatik.tu-muenchen.de:7200 no longer exists);
|
file |
diff |
annotate
|
2012-07-05 |
wenzelm |
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
|
file |
diff |
annotate
|
2012-04-25 |
wenzelm |
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
|
file |
diff |
annotate
|