Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
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
less more (0) -100 -60 tip
isabelle