| 2018-05-19 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| 2018-03-03 |
wenzelm |
more Java heap, e.g. relevant for hg.graph on Isabelle repository;
|
file |
diff |
annotate
|
| 2018-02-10 |
wenzelm |
more accessible src/Pure/ROOT.ML;
|
file |
diff |
annotate
|
| 2017-12-10 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
| 2017-10-23 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| 2017-04-21 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| 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
|
| 2012-04-24 |
wenzelm |
prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
|
file |
diff |
annotate
|
| 2012-04-22 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
| 2012-04-01 |
krauss |
removed old HOL4 import -- corresponding exporter is lost, code is broken, no users known, maintenance nightmare
|
file |
diff |
annotate
|
| 2012-03-28 |
wenzelm |
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
|
file |
diff |
annotate
|
| 2012-03-28 |
wenzelm |
updated comments;
|
file |
diff |
annotate
|
| 2012-03-24 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| 2012-03-18 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| 2012-01-11 |
wenzelm |
more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
|
file |
diff |
annotate
|
| 2011-10-15 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| 2011-09-18 |
wenzelm |
discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
|
file |
diff |
annotate
|
| 2011-09-17 |
wenzelm |
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
|
file |
diff |
annotate
|
| 2011-06-23 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| 2011-06-22 |
wenzelm |
clarified default ML settings;
|
file |
diff |
annotate
|
| 2011-06-20 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
file |
diff |
annotate
|
| 2011-03-14 |
wenzelm |
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
some cleanup of old-style settings;
|
file |
diff |
annotate
|
| 2011-03-13 |
wenzelm |
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
|
file |
diff |
annotate
|
| 2011-01-18 |
wenzelm |
Apple's way of locating java;
|
file |
diff |
annotate
|
| 2011-01-10 |
wenzelm |
updated for polyml-5.4.0;
|
file |
diff |
annotate
|
| 2010-11-16 |
wenzelm |
more robust determination of java executable;
|
file |
diff |
annotate
|
| 2010-11-15 |
wenzelm |
more robust treatment of spaces in file names;
|
file |
diff |
annotate
|
| 2010-11-05 |
wenzelm |
moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| 2010-05-28 |
wenzelm |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file |
diff |
annotate
|
| 2010-05-22 |
wenzelm |
use proper ISABELLE_PLATFORM instead of adhoc uname;
|
file |
diff |
annotate
|
| 2010-05-22 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
| 2010-04-20 |
wenzelm |
refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
|
file |
diff |
annotate
|
| 2010-04-19 |
wenzelm |
polyml-platform script is superseded by ISABELLE_PLATFORM;
|
file |
diff |
annotate
|
| 2010-04-17 |
wenzelm |
improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
|
file |
diff |
annotate
|
| 2010-02-06 |
wenzelm |
removed ever experimental support for Moscow ML -- hardly works anymore;
|
file |
diff |
annotate
|
| 2010-01-04 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| 2009-11-29 |
wenzelm |
deactivated default for E_HOME, SPASS_HOME -- now configured as components;
|
file |
diff |
annotate
|
| 2009-11-09 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
|
| 2009-11-07 |
wenzelm |
tuned ML_OPTIONS for SML/NJ -- for improved performance;
|
file |
diff |
annotate
|
| 2009-08-28 |
wenzelm |
PDF_VIEWER: more Unix-ish behaviour on Mac OS;
|
file |
diff |
annotate
|
| 2009-08-22 |
wenzelm |
removed jedit setup -- now a self-contained component (external);
|
file |
diff |
annotate
|
| 2009-08-06 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
|
| 2009-08-03 |
wenzelm |
basic support for components (which imitate the usual Isabelle directory layout);
|
file |
diff |
annotate
|
| 2009-07-30 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file |
diff |
annotate
|
| 2009-07-19 |
wenzelm |
parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
|
file |
diff |
annotate
|
| 2009-07-03 |
wenzelm |
SCALA_HOME: proper line escapes for choosefrom;
|
file |
diff |
annotate
|
| 2009-07-02 |
wenzelm |
observe SCALA_HOME, if available;
|
file |
diff |
annotate
|
| 2009-06-14 |
wenzelm |
back to default -M max, with more robust interpretation of corresponding max_threads value;
|
file |
diff |
annotate
|
| 2009-06-04 |
wenzelm |
example settings for Poly/ML 5.3 (experimental);
|
file |
diff |
annotate
|
| 2009-06-04 |
wenzelm |
retrieve ML source files;
|
file |
diff |
annotate
|
| 2009-06-04 |
wenzelm |
uniform default settings for E, Vampire, SPASS;
|
file |
diff |
annotate
|
| 2009-05-31 |
wenzelm |
updated example settings;
|
file |
diff |
annotate
|
| 2009-05-31 |
wenzelm |
discontinued support for Poly/ML 4.x versions;
|
file |
diff |
annotate
|
| 2009-04-14 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
|
file |
diff |
annotate
|
| 2009-03-31 |
wenzelm |
suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;
|
file |
diff |
annotate
|
| 2009-03-05 |
blanchet |
Reintroduced previous changes: Made "Refute.norm_rhs" public and simplified the configuration of the BerkMin and zChaff SAT solvers.
|
file |
diff |
annotate
|
| 2009-03-04 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| 2009-03-04 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| 2009-02-24 |
blanchet |
Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number.
|
file |
diff |
annotate
|