| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 14:56:37 +0200 |
wenzelm |
added "isabelle components" tool;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 13:11:58 +0200 |
wenzelm |
discontinued special treatment of Proof General;
|
file |
diff |
annotate
|
| Fri, 27 Jul 2012 16:27:26 +0200 |
wenzelm |
proper shell variable;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2012 11:39:22 +0200 |
wenzelm |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 16:16:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 12:05:48 +0200 |
wenzelm |
updated smlnj settings;
|
file |
diff |
annotate
|
| Fri, 06 Jul 2012 16:41:26 +0200 |
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
|
| Thu, 05 Jul 2012 13:33:53 +0200 |
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
|
| Wed, 25 Apr 2012 15:44:26 +0200 |
wenzelm |
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 15:56:09 +0200 |
wenzelm |
prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 14:30:18 +0200 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 22:03:45 +0200 |
krauss |
removed old HOL4 import -- corresponding exporter is lost, code is broken, no users known, maintenance nightmare
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 13:53:30 +0200 |
wenzelm |
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
|
file |
diff |
annotate
|
| Wed, 28 Mar 2012 11:04:39 +0200 |
wenzelm |
updated comments;
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| Sun, 18 Mar 2012 21:52:50 +0100 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2012 15:12:57 +0100 |
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
|
| Sat, 15 Oct 2011 15:55:10 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 12:48:45 +0200 |
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
|
| Sat, 17 Sep 2011 16:53:01 +0200 |
wenzelm |
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 21:54:35 +0200 |
wenzelm |
clarified default ML settings;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 23:19:38 +0200 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 15:17:10 +0100 |
wenzelm |
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:56:00 +0100 |
wenzelm |
files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 17:35:35 +0100 |
wenzelm |
some cleanup of old-style settings;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 17:28:14 +0100 |
wenzelm |
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
|
file |
diff |
annotate
|
| Tue, 18 Jan 2011 21:29:56 +0100 |
wenzelm |
Apple's way of locating java;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 17:22:48 +0100 |
wenzelm |
updated for polyml-5.4.0;
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 22:13:54 +0100 |
wenzelm |
more robust determination of java executable;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2010 17:14:43 +0100 |
wenzelm |
more robust treatment of spaces in file names;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2010 23:19:20 +0100 |
wenzelm |
moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 20:41:23 +0200 |
wenzelm |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:20:51 +0200 |
wenzelm |
use proper ISABELLE_PLATFORM instead of adhoc uname;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
| Tue, 20 Apr 2010 11:26:25 +0200 |
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
|
| Mon, 19 Apr 2010 10:56:26 +0200 |
wenzelm |
polyml-platform script is superseded by ISABELLE_PLATFORM;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 20:42:26 +0200 |
wenzelm |
improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 22:54:53 +0100 |
wenzelm |
removed ever experimental support for Moscow ML -- hardly works anymore;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 11:55:23 +0100 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2009 17:34:41 +0100 |
wenzelm |
deactivated default for E_HOME, SPASS_HOME -- now configured as components;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:30:54 +0100 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2009 16:54:13 +0100 |
wenzelm |
tuned ML_OPTIONS for SML/NJ -- for improved performance;
|
file |
diff |
annotate
|
| Fri, 28 Aug 2009 10:52:44 +0200 |
wenzelm |
PDF_VIEWER: more Unix-ish behaviour on Mac OS;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2009 23:16:11 +0200 |
wenzelm |
removed jedit setup -- now a self-contained component (external);
|
file |
diff |
annotate
|
| Thu, 06 Aug 2009 19:51:59 +0200 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 01:01:23 +0200 |
wenzelm |
basic support for components (which imitate the usual Isabelle directory layout);
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 23:23:52 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file |
diff |
annotate
|
| Sun, 19 Jul 2009 19:24:04 +0200 |
wenzelm |
parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 10:54:26 +0200 |
wenzelm |
SCALA_HOME: proper line escapes for choosefrom;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 00:00:03 +0200 |
wenzelm |
observe SCALA_HOME, if available;
|
file |
diff |
annotate
|
| Sun, 14 Jun 2009 23:18:32 +0200 |
wenzelm |
back to default -M max, with more robust interpretation of corresponding max_threads value;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 23:42:11 +0200 |
wenzelm |
example settings for Poly/ML 5.3 (experimental);
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 22:01:54 +0200 |
wenzelm |
retrieve ML source files;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 12:09:07 +0200 |
wenzelm |
uniform default settings for E, Vampire, SPASS;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:16:32 +0200 |
wenzelm |
updated example settings;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:15:07 +0200 |
wenzelm |
discontinued support for Poly/ML 4.x versions;
|
file |
diff |
annotate
|
| Tue, 14 Apr 2009 14:37:44 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
|
file |
diff |
annotate
|
| Tue, 31 Mar 2009 12:07:17 +0200 |
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
|
| Thu, 05 Mar 2009 10:19:51 +0100 |
blanchet |
Reintroduced previous changes: Made "Refute.norm_rhs" public and simplified the configuration of the BerkMin and zChaff SAT solvers.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Tue, 24 Feb 2009 16:12:27 +0100 |
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
|
| Sun, 01 Mar 2009 16:48:06 +0100 |
wenzelm |
discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 15:26:02 +0100 |
immler |
removed vampire-wrapper (remote-script covers that)
|
file |
diff |
annotate
|
| Mon, 22 Dec 2008 14:40:27 +0100 |
wenzelm |
more sophisticated MacOS interface script (mostly for Carbon Emacs);
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 11 Dec 2008 21:31:42 +0100 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -M max is default;
|
file |
diff |
annotate
|
| Fri, 05 Dec 2008 18:15:52 +0100 |
wenzelm |
uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:03:45 +0100 |
wenzelm |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 12:58:20 +0100 |
wenzelm |
default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 23:54:42 +0200 |
wenzelm |
less ambitious default for JEDIT_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 22:21:28 +0200 |
wenzelm |
JEDIT_OPTIONS: moved -settings to interface script (more robust);
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:59:22 +0200 |
wenzelm |
make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:45 +0200 |
wenzelm |
added jEdit settings;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 17:40:56 +0200 |
wenzelm |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 14:06:19 +0200 |
wenzelm |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 13:21:01 +0200 |
wenzelm |
added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 17:16:27 +0200 |
wenzelm |
added PROOFGENERAL_HOME;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 16:44:10 +0200 |
wenzelm |
add scala-library.jar if available;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 13:31:55 +0200 |
wenzelm |
added ISABELLE_SCALA, ISABELLE_JAVA;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 22:58:59 +0200 |
wenzelm |
added JVM components (Scala or Java);
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 17:26:10 +0200 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:02:37 +0200 |
wenzelm |
removed obsolete thumbpdf;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 19:21:23 +0100 |
wenzelm |
removed obsolete THIS_IS_ISABELLE_BUILD feature;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2008 22:48:50 +0100 |
wenzelm |
ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 22:03:29 +0100 |
wenzelm |
* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2007 21:15:33 +0100 |
wenzelm |
added ISABELLE_LINE_EDITOR;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 19:54:50 +0100 |
wenzelm |
polyml: default heap size is back to -H 200 (people are still using
|
file |
diff |
annotate
|
| Thu, 08 Nov 2007 20:07:57 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2007 18:54:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 11:11:13 +0200 |
haftmann |
platform-sensitive default location for ATP provers
|
file |
diff |
annotate
|
| Thu, 06 Sep 2007 17:06:04 +0200 |
paulson |
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 23:06:27 +0200 |
wenzelm |
renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 22:47:01 +0200 |
wenzelm |
added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin);
|
file |
diff |
annotate
|
| Mon, 27 Aug 2007 17:34:55 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:54:19 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:41:57 +0200 |
wenzelm |
added jEdit mode spec;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 01:17:57 +0200 |
kleing |
increase default max heap size for poly to -H 500 (this is what isatest uses,
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 22:51:13 +0200 |
wenzelm |
added ISABELLE_FILE_IDENT (command line for source file identification);
|
file |
diff |
annotate
|
| Wed, 30 May 2007 23:32:54 +0200 |
wenzelm |
tuned USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2007 16:43:47 +0100 |
wenzelm |
tuned comments
|
file |
diff |
annotate
|
| Wed, 13 Dec 2006 12:10:54 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 18:33:29 +0100 |
wenzelm |
setup for polyml-5.0;
|
file |
diff |
annotate
|
| Thu, 23 Nov 2006 18:49:03 +0100 |
wenzelm |
ISABELLE_PATH/OUTPUT: append ISABELLE_IDENTIFIER if derived from ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2006 19:25:38 +0100 |
wenzelm |
HOL_USEDIR_OPTIONS: -p 1 by default;
|
file |
diff |
annotate
|
| Wed, 11 Oct 2006 22:56:10 +0200 |
wenzelm |
increased heap size for polyml-4.9.1;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2006 20:30:53 +0200 |
wenzelm |
added Poly/ML 4.9.1 (experimental!);
|
file |
diff |
annotate
|
| Fri, 07 Jul 2006 02:12:52 +0200 |
webertj |
added support for MiniSat 1.14
|
file |
diff |
annotate
|
| Tue, 21 Mar 2006 15:38:53 +0100 |
wenzelm |
fixed example;
|
file |
diff |
annotate
|
| Fri, 10 Feb 2006 02:22:13 +0100 |
wenzelm |
simplified polyml example;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 16:34:22 +0200 |
wenzelm |
added simplified settings for Poly/ML 4.x (commented out);
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 16:22:59 +0200 |
wenzelm |
reverted (accidental?) change of 1.148;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 02:57:22 +0200 |
mengj |
Merged theory ResAtpOracle.thy into ResAtpMethods.thy
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 14:51:12 +0200 |
wenzelm |
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 06:33:24 +0200 |
mengj |
Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").
|
file |
diff |
annotate
|
| Tue, 11 Oct 2005 13:30:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 20:15:32 +0200 |
wenzelm |
Poplog/PML: ML_SUFFIX=.psv;
|
file |
diff |
annotate
|
| Wed, 05 Oct 2005 19:28:12 +0200 |
wenzelm |
added Poplog/PML version 15.6/2.1 (experimental!);
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 20:26:45 +0200 |
wenzelm |
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 16:19:51 +0200 |
webertj |
pointers to src/HOL/Tools/sat_solver.ML added in comments
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 22:04:34 +0200 |
wenzelm |
no longer prefer xemacs, which fails more often than GNU emacs;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2005 12:11:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:14 +0200 |
wenzelm |
-V outline=/proof,/ML;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2005 21:29:06 +0200 |
wenzelm |
tuned ML_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2005 19:47:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 19:20:21 +0200 |
wenzelm |
polyml: use polyml-platform/version from Isabelle distribution;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 11:39:33 +0200 |
obua |
1. changed configuration variables for linear programming (Cplex_tools):
|
file |
diff |
annotate
|
| Tue, 19 Jul 2005 17:21:46 +0200 |
wenzelm |
retract accidental user commit;
|
file |
diff |
annotate
|
| Tue, 19 Jul 2005 16:16:53 +0200 |
obua |
proving bounds for real linear programs
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 17:56:03 +0200 |
avigad |
added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 17:06:11 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 11:31:13 +0200 |
wenzelm |
#SMLNJ_CYGWIN_RUNTIME=1
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 18:29:46 +0200 |
wenzelm |
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 17 May 2005 18:10:35 +0200 |
wenzelm |
removed ISAMODE settings;
|
file |
diff |
annotate
|
| Fri, 29 Apr 2005 08:05:06 +0200 |
haftmann |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file |
diff |
annotate
|
| Fri, 29 Apr 2005 08:03:01 +0200 |
haftmann |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file |
diff |
annotate
|
| Wed, 27 Apr 2005 23:04:50 +0200 |
gagern |
removed --version which is not a valid polyml flag and has no effect
|
file |
diff |
annotate
|
| Tue, 26 Apr 2005 19:50:31 +0200 |
wenzelm |
reverted accidental commit of user modification;
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 22:37:29 +0200 |
gagern |
Fix automatic determination of poly version.
|
file |
diff |
annotate
|
| Wed, 20 Apr 2005 16:03:17 +0200 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
| Thu, 14 Apr 2005 19:30:57 +0200 |
aspinall |
Include automatic determination of poly version.
|
file |
diff |
annotate
|
| Wed, 13 Apr 2005 18:48:05 +0200 |
wenzelm |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file |
diff |
annotate
|
| Wed, 13 Apr 2005 18:34:22 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Sun, 06 Feb 2005 13:12:32 +0100 |
paulson |
fixed mac line
|
file |
diff |
annotate
|
| Thu, 25 Nov 2004 14:38:37 +0100 |
webertj |
added ZCHAFF_VERSION
|
file |
diff |
annotate
|
| Sun, 14 Nov 2004 01:56:58 +0100 |
webertj |
*** empty log message ***
|
file |
diff |
annotate
|
| Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
| Mon, 04 Oct 2004 15:25:28 +0200 |
paulson |
PDF_VIEWER suggestion
|
file |
diff |
annotate
|
| Thu, 30 Sep 2004 07:14:34 +0200 |
kleing |
display pdf as well as dvi
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Tue, 15 Jun 2004 00:50:10 +0200 |
webertj |
Jerusat settings added
|
file |
diff |
annotate
|
| Tue, 15 Jun 2004 00:06:40 +0200 |
webertj |
entries for ZChaff and BerkMin added/modified
|
file |
diff |
annotate
|
| Sun, 13 Jun 2004 15:28:46 +0200 |
wenzelm |
added PRINT_COMMAND setting
|
file |
diff |
annotate
|
| Sat, 05 Jun 2004 13:06:49 +0200 |
wenzelm |
removed mlworks and smlnj-0.93 (obsolete);
|
file |
diff |
annotate
|
| Sat, 17 Apr 2004 13:56:59 +0200 |
kleing |
do not mention poly 3.x any more (it is untested)
|
file |
diff |
annotate
|
| Thu, 11 Mar 2004 03:53:43 +0100 |
kleing |
look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only
|
file |
diff |
annotate
|
| Wed, 10 Mar 2004 20:21:08 +0100 |
webertj |
ZCHAFF_HOME variable added
|
file |
diff |
annotate
|
| Tue, 09 Mar 2004 04:19:41 +0100 |
kleing |
include more explanation of variables
|
file |
diff |
annotate
|
| Thu, 08 Jan 2004 04:32:52 +0100 |
kleing |
run makeindex if necessary
|
file |
diff |
annotate
|
| Fri, 31 Oct 2003 06:54:22 +0100 |
kleing |
fixed
|
file |
diff |
annotate
|
| Fri, 31 Oct 2003 06:52:43 +0100 |
kleing |
set isatool usedir to verbose by default
|
file |
diff |
annotate
|
| Mon, 26 May 2003 11:42:41 +0200 |
kleing |
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
|
file |
diff |
annotate
|
| Wed, 23 Apr 2003 13:33:55 +0200 |
kleing |
more documentation
|
file |
diff |
annotate
|
| Fri, 01 Mar 2002 18:12:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 21 Jan 2002 15:29:06 +0100 |
wenzelm |
wild guess at polyml-4.1.2;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2002 17:43:44 +0100 |
wenzelm |
ML_OPTIONS="-h 15000" (used to be 30000);
|
file |
diff |
annotate
|
| Wed, 09 Jan 2002 17:36:18 +0100 |
wenzelm |
removed TEXINPUTS;
|
file |
diff |
annotate
|
| Wed, 19 Dec 2001 00:26:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2001 17:40:36 +0100 |
wenzelm |
removed installfonts, xterm interface;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2001 17:22:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Oct 2001 17:24:33 +0200 |
wenzelm |
ISABELLE_EPSTOPDF="epstopdf";
|
file |
diff |
annotate
|
| Wed, 26 Sep 2001 20:33:33 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Sat, 08 Sep 2001 20:02:59 +0200 |
wenzelm |
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
|
file |
diff |
annotate
|
| Tue, 13 Feb 2001 01:32:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Feb 2001 14:31:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Nov 2000 19:02:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2000 17:47:32 +0200 |
wenzelm |
even smarter setup for several installations of Poly/ML 3.x and 4.0;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2000 12:11:45 +0200 |
wenzelm |
tuned auto paths;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 20:18:08 +0200 |
wenzelm |
XSYMBOL_INSTALLFONTS is back;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 19:07:55 +0200 |
wenzelm |
tentative fix while hunting gremlins ...;
|
file |
diff |
annotate
|
| Fri, 15 Sep 2000 16:29:00 +0200 |
wenzelm |
#XSYMBOL_INSTALLFONTS;
|
file |
diff |
annotate
|
| Thu, 14 Sep 2000 17:24:46 +0200 |
wenzelm |
added /usr/share/emacs/ProofGeneral/isar/interface choice;
|
file |
diff |
annotate
|
| Wed, 13 Sep 2000 22:27:53 +0200 |
wenzelm |
easy settings: add /usr/local prefix;
|
file |
diff |
annotate
|
| Sun, 03 Sep 2000 20:01:27 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2000 17:48:31 +0200 |
wenzelm |
more robust handling of spaces in args / file names;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2000 00:11:40 +0200 |
wenzelm |
more polyml choices;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2000 15:30:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2000 15:27:53 +0200 |
wenzelm |
use polyml-version;
|
file |
diff |
annotate
|
| Thu, 24 Aug 2000 00:53:23 +0200 |
wenzelm |
choosefrom: easy settings;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2000 00:45:23 +0200 |
wenzelm |
X-Symbol mode -- look in canonical place;
|
file |
diff |
annotate
|
| Thu, 06 Jul 2000 00:08:24 +0200 |
wenzelm |
Moscow ML 2.00 or later (experimental!);
|
file |
diff |
annotate
|
| Tue, 04 Jul 2000 01:10:36 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 01 Jul 2000 19:49:09 +0200 |
wenzelm |
added site settings check;
|
file |
diff |
annotate
|
| Wed, 17 May 2000 18:27:13 +0200 |
wenzelm |
Proof General -- if present make this the default;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2000 12:04:39 +0100 |
wenzelm |
new Poly/ML setup made default;
|
file |
diff |
annotate
|
| Fri, 15 Oct 1999 16:43:05 +0200 |
wenzelm |
fixed comment;
|
file |
diff |
annotate
|
| Thu, 14 Oct 1999 15:02:04 +0200 |
wenzelm |
thumbpdf (disabled by default);
|
file |
diff |
annotate
|
| Sat, 09 Oct 1999 23:15:40 +0200 |
wenzelm |
added ISABELLE_BIBTEX;
|
file |
diff |
annotate
|
| Thu, 07 Oct 1999 12:37:55 +0200 |
wenzelm |
removed TeX environment hacking;
|
file |
diff |
annotate
|
| Thu, 07 Oct 1999 12:33:54 +0200 |
wenzelm |
Document preparation setup;
|
file |
diff |
annotate
|
| Wed, 06 Oct 1999 21:32:52 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 19:56:17 +0200 |
wenzelm |
Mucke, Einhoven;
|
file |
diff |
annotate
|
| Fri, 06 Aug 1999 22:37:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 06 Aug 1999 15:38:07 +0200 |
wenzelm |
External reasoning tools;
|
file |
diff |
annotate
|
| Fri, 06 Aug 1999 13:39:48 +0200 |
paulson |
no longer gives a default value to SVC_MACHINE
|
file |
diff |
annotate
|
| Tue, 03 Aug 1999 13:05:13 +0200 |
paulson |
new variables for SVC
|
file |
diff |
annotate
|
| Wed, 28 Jul 1999 22:01:58 +0200 |
wenzelm |
ML_HOME=$ISABELLE_HOME/../smlnj/bin;
|
file |
diff |
annotate
|
| Wed, 21 Apr 1999 19:03:11 +0200 |
wenzelm |
$ML_HOME/.arch-n-opsys 2>/dev/null;
|
file |
diff |
annotate
|
| Wed, 21 Apr 1999 18:50:35 +0200 |
wenzelm |
smlnj-110 setup made default;
|
file |
diff |
annotate
|
| Wed, 21 Apr 1999 18:46:58 +0200 |
wenzelm |
/usr/share/smlnj/bin;
|
file |
diff |
annotate
|
| Mon, 12 Apr 1999 16:20:04 +0200 |
wenzelm |
ML_PLATFORM;
|
file |
diff |
annotate
|
| Wed, 25 Nov 1998 14:06:13 +0100 |
wenzelm |
improved comment;
|
file |
diff |
annotate
|
| Mon, 26 Oct 1998 13:05:08 +0100 |
wenzelm |
ML_SYSTEM=polyml-3.1;
|
file |
diff |
annotate
|
| Sat, 24 Oct 1998 21:21:21 +0200 |
wenzelm |
ML_SYSTEM factory default;
|
file |
diff |
annotate
|
| Wed, 21 Oct 1998 14:05:49 +0200 |
wenzelm |
dropped support for SML/NJ 109.x;
|
file |
diff |
annotate
|
| Fri, 16 Oct 1998 18:50:50 +0200 |
wenzelm |
MLWorks 2.0;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 13:53:41 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS="-i false";
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:15:24 +0100 |
wenzelm |
replaced $LOGNAME by $USER;
|
file |
diff |
annotate
|
| Thu, 15 Jan 1998 14:15:57 +0100 |
wenzelm |
polyml-3.1;
|
file |
diff |
annotate
|
| Wed, 14 Jan 1998 10:28:21 +0100 |
wenzelm |
smlnj-110 factory default;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 14:01:48 +0100 |
wenzelm |
ISABELLE_TMP_PREFIX: $LOGNAME
|
file |
diff |
annotate
|
| Wed, 17 Dec 1997 17:59:18 +0100 |
wenzelm |
added mlworks;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:27:03 +0100 |
wenzelm |
polyml-3.1;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:18:46 +0100 |
wenzelm |
make smlnj-110 default;
|
file |
diff |
annotate
|
| Sat, 13 Dec 1997 17:22:15 +0100 |
wenzelm |
smlnj-110;
|
file |
diff |
annotate
|
| Mon, 01 Dec 1997 18:22:38 +0100 |
wenzelm |
ISABELLE_TMP_PREFIX;
|
file |
diff |
annotate
|
| Mon, 22 Sep 1997 16:08:45 +0200 |
paulson |
Added Cambridge font server
|
file |
diff |
annotate
|
| Thu, 07 Aug 1997 23:37:53 +0200 |
berghofe |
Added new environment variable ISABELLE_BROWSER_INFO.
|
file |
diff |
annotate
|
| Tue, 05 Aug 1997 17:21:24 +0200 |
wenzelm |
removed smlnj-1.07;
|
file |
diff |
annotate
|
| Tue, 27 May 1997 17:49:52 +0200 |
wenzelm |
polyml-3.1 default again (for local work);
|
file |
diff |
annotate
|
| Tue, 27 May 1997 15:45:07 +0200 |
wenzelm |
NJ 1.09.2x as factory default!
Isabelle94-8
|
file |
diff |
annotate
|
| Mon, 26 May 1997 13:45:39 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Fri, 23 May 1997 11:28:22 +0200 |
wenzelm |
remove cl.cam font server;
|
file |
diff |
annotate
|
| Thu, 22 May 1997 16:04:48 +0200 |
wenzelm |
tuned Isamode stuff;
|
file |
diff |
annotate
|
| Tue, 20 May 1997 19:29:04 +0200 |
wenzelm |
removed Cambridge font server;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 18:37:03 +0200 |
wenzelm |
renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 17:41:15 +0200 |
wenzelm |
ML_SYSTEM is polyml-3.1 again;
|
file |
diff |
annotate
|