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
|