Fri, 17 Aug 2012 11:32:20 +0200 nipkow merged
Fri, 17 Aug 2012 08:56:08 +0200 nipkow fixed lemmas
Thu, 16 Aug 2012 15:08:42 +0200 nipkow abstracted lemmas
Fri, 17 Aug 2012 19:08:55 +0200 wenzelm updated to new init_components, hoping that mira can digest that;
Fri, 17 Aug 2012 19:07:14 +0200 wenzelm some explanations on component categories;
Fri, 17 Aug 2012 18:04:49 +0200 wenzelm specific cygwin components;
Fri, 17 Aug 2012 17:37:27 +0200 wenzelm obsolete;
Fri, 17 Aug 2012 17:35:07 +0200 wenzelm some explanations on isabelle components;
Fri, 17 Aug 2012 17:52:10 +0200 wenzelm some grouping of components;
Fri, 17 Aug 2012 17:48:26 +0200 wenzelm renamed components to components_old, to make room for some directory of the same name;
Fri, 17 Aug 2012 15:05:57 +0200 wenzelm minor robustification;
Fri, 17 Aug 2012 14:56:37 +0200 wenzelm added "isabelle components" tool;
Fri, 17 Aug 2012 14:55:46 +0200 wenzelm tuned;
Fri, 17 Aug 2012 12:14:58 +0200 wenzelm direct support for component forests via init_components;
Fri, 17 Aug 2012 11:42:05 +0200 wenzelm allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
Fri, 17 Aug 2012 11:37:14 +0200 wenzelm tuned;
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip