Fri, 17 Aug 2012 11:23:57 +0200 wenzelm tuned;
Fri, 17 Aug 2012 11:20:18 +0200 wenzelm updated component repository;
Fri, 17 Aug 2012 11:18:26 +0200 wenzelm updates on 32 bit vs. 64 bit platforms;
Fri, 17 Aug 2012 10:46:42 +0200 wenzelm updated to jedit_build-20120813, pointing to another contrib directory as a change;
Thu, 16 Aug 2012 17:19:48 +0200 wenzelm merged
Thu, 16 Aug 2012 17:16:20 +0200 wenzelm tuned proofs;
Thu, 16 Aug 2012 15:41:36 +0200 blanchet look in current directory first before looking up includes in the TPTP directory, as required by Geoff
Thu, 16 Aug 2012 14:07:32 +0200 haftmann prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
Thu, 16 Aug 2012 15:40:26 +0200 wenzelm more robust multi-platform support;
Thu, 16 Aug 2012 14:25:58 +0200 wenzelm updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
Thu, 16 Aug 2012 14:05:50 +0200 wenzelm support for jdk-7u6 component;
Wed, 15 Aug 2012 23:06:17 +0200 ballarin Clarification: free variables allowed in interpreted locale instances.
Wed, 15 Aug 2012 15:10:42 +0200 nipkow merged
Wed, 15 Aug 2012 14:26:42 +0200 nipkow fixed proof
Wed, 15 Aug 2012 14:00:12 +0200 nipkow abstracted lemmas
Wed, 15 Aug 2012 12:56:54 +0200 nipkow Backed out changeset 6cf7a9d8bbaf
Wed, 15 Aug 2012 12:18:30 +0200 nipkow abstracted lemmas
Wed, 15 Aug 2012 13:43:49 +0200 webertj merged
Wed, 15 Aug 2012 13:43:42 +0200 webertj Turned into Admin tool download_components.
Wed, 15 Aug 2012 13:07:24 +0200 wenzelm tuned;
Wed, 15 Aug 2012 12:54:25 +0200 wenzelm tuned;
Wed, 15 Aug 2012 12:36:38 +0200 wenzelm some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
Wed, 15 Aug 2012 11:41:27 +0200 wenzelm tuned;
Wed, 15 Aug 2012 11:04:56 +0200 blanchet fixed handling of "int" in the wake of its port to the quotient package
Wed, 15 Aug 2012 11:04:55 +0200 blanchet removed dead code
Wed, 15 Aug 2012 01:17:26 +0200 webertj merged
Wed, 15 Aug 2012 01:17:18 +0200 webertj Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget.
Tue, 14 Aug 2012 21:58:00 +0200 wenzelm ignore some administrative files on newer Mercurial versions as well;
Tue, 14 Aug 2012 20:50:50 +0200 wenzelm some support for persistent user preferences;
Tue, 14 Aug 2012 16:18:15 +0200 wenzelm merged
Tue, 14 Aug 2012 15:42:58 +0200 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
Tue, 14 Aug 2012 13:40:49 +0200 wenzelm more direct interpretation of document_variants for build (unchanged for usedir);
Tue, 14 Aug 2012 16:09:45 +0200 blanchet tone down "z3_tptp", now that Z3 (starting with 4.1) no longer supports TPTP TFF0
Tue, 14 Aug 2012 15:26:45 +0200 blanchet fixed then-else confusion
Tue, 14 Aug 2012 15:23:28 +0200 blanchet tweak Vampire setup in the light of new evaluation
Tue, 14 Aug 2012 15:18:11 +0200 blanchet improved set of reconstructor methods
Tue, 14 Aug 2012 14:07:53 +0200 blanchet warn users about unused "using" facts
Tue, 14 Aug 2012 13:20:59 +0200 blanchet be less aggressive at kicking out chained facts
Tue, 14 Aug 2012 12:54:26 +0200 blanchet recognize bus errors as crash
Tue, 14 Aug 2012 12:49:42 +0200 blanchet consider removing chained facts last, so that they're more likely to be kept
Tue, 14 Aug 2012 13:01:09 +0200 wenzelm clarified format of etc/options: only declarations, not re-definitions;
Tue, 14 Aug 2012 12:26:02 +0200 wenzelm check_errors for cumulative session content;
Tue, 14 Aug 2012 12:21:32 +0200 wenzelm even more defensive path expansion (see also 8d381fdef898);
Tue, 14 Aug 2012 11:43:08 +0200 wenzelm support for 'typ' with explicit sort constraint;
Tue, 14 Aug 2012 11:37:58 +0200 wenzelm added jedit option -d;
Tue, 14 Aug 2012 10:44:03 +0200 wenzelm always retain doc-src (as regular component);
Mon, 13 Aug 2012 20:31:24 +0200 wenzelm merged
Mon, 13 Aug 2012 20:01:30 +0200 webertj Calling isabelle with proper (relative) path, no longer relying on $PATH.
Mon, 13 Aug 2012 19:51:48 +0200 wenzelm fewer workarounds for MacOS to increase chances that COMMAND ("META") key works with Java 1.7 from Oracle;
Mon, 13 Aug 2012 19:36:34 +0200 wenzelm updated to jedit-4.5.2 (still unchanged);
Sun, 12 Aug 2012 23:13:43 +0200 krauss restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself
Sun, 12 Aug 2012 22:39:28 +0200 wenzelm tuned;
Sun, 12 Aug 2012 21:48:58 +0200 krauss fixed mira.py (cf. fd50596bf78b)
Sun, 12 Aug 2012 20:45:34 +0200 wenzelm more direct embedding of abstract thm values into the ML environment -- avoidance of repeated ML_Thms.the_thm(s) considerably reduces compilation time for Poly/ML 5.4.x;
Sun, 12 Aug 2012 19:09:55 +0200 wenzelm more static antiquotations;
Sun, 12 Aug 2012 19:08:27 +0200 wenzelm always show some timing information, to reduce the need for explicit -v;
Sun, 12 Aug 2012 17:39:06 +0200 wenzelm some information for central Isabelle repository configuration;
Sun, 12 Aug 2012 01:25:43 +0200 krauss reduced settings patching
Sun, 12 Aug 2012 00:16:04 +0200 krauss removed obsolete configuration AFP_images
Sat, 11 Aug 2012 22:17:46 +0200 wenzelm faster compilation of ML with antiquotations: static ML_context is bound once in auxiliary structure Isabelle;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip