9 months ago nipkow 2017-11-09 Replaced Raw Proof Blocks by Local Lemmas
9 months ago nipkow 2017-11-09 tuned
9 months ago nipkow 2017-11-08 merged
9 months ago nipkow 2017-11-08 corrected priority
9 months ago wenzelm 2017-11-08 merged
9 months ago wenzelm 2017-11-08 formal dependency on "poly" executable;
9 months ago wenzelm 2017-11-08 removed obsolete workaround: always use existing IntInf.pow;
9 months ago Lars Hupel 2017-11-08 strip some trailing spaces to force Pure rebuild after ce6454669360
9 months ago wenzelm 2017-11-07 merged
9 months ago wenzelm 2017-11-07 proper build_selection for clean_build (amending 961285f581e6): e.g. relevant for "isabelle build_doc";
9 months ago wenzelm 2017-11-07 clarified signature (again);
9 months ago wenzelm 2017-11-07 clarified exclusion: operate on completed selection, as last step;
9 months ago wenzelm 2017-11-07 tuned;
9 months ago wenzelm 2017-11-07 tuned signature;
9 months ago wenzelm 2017-11-07 clarifified selection: always wrt. build_graph structure; tuned signature;
9 months ago wenzelm 2017-11-07 tuned;
9 months ago wenzelm 2017-11-07 tuned signature;
9 months ago blanchet 2017-11-07 more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
9 months ago blanchet 2017-11-07 integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
9 months ago blanchet 2017-11-07 added FIXMEs
9 months ago nipkow 2017-11-07 Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
9 months ago wenzelm 2017-11-07 backed out odd "bug fix" 671decd2e627;
9 months ago wenzelm 2017-11-07 more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
9 months ago wenzelm 2017-11-06 minimal document model for theory files;
9 months ago wenzelm 2017-11-06 tuned signature;
9 months ago wenzelm 2017-11-06 tuned signature;
9 months ago wenzelm 2017-11-05 more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
9 months ago wenzelm 2017-11-05 uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");
9 months ago wenzelm 2017-11-05 updated comments;
9 months ago wenzelm 2017-11-05 updated to scala-2.12.4;
9 months ago wenzelm 2017-11-05 testing NewTestRegisterSave;
9 months ago wenzelm 2017-11-04 superseded by plain_identify;
9 months ago wenzelm 2017-11-04 tolerate odd negative times from old log files (before 1698e9ccef2d);
9 months ago wenzelm 2017-11-04 prefer main entry points of HOL;
9 months ago wenzelm 2017-11-04 tuned signature;
9 months ago wenzelm 2017-11-04 clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
9 months ago wenzelm 2017-11-04 more robust sorted_entries;
9 months ago wenzelm 2017-11-04 more convenient build_log_history;
9 months ago wenzelm 2017-11-04 tuned;
9 months ago wenzelm 2017-11-04 more portable print_time, notably for occasional negative (!) elapsed time of theory_timing;
9 months ago wenzelm 2017-11-04 polyml-test version based on experimental branch NewTestRegisterSave;
9 months ago wenzelm 2017-11-03 support for libgmp on x86_64-darwin;
9 months ago wenzelm 2017-11-03 avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
9 months ago wenzelm 2017-11-03 delegate boundary cases to existing IntInf.pow;
9 months ago wenzelm 2017-11-03 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
9 months ago wenzelm 2017-11-03 tuned (non-unique example);
9 months ago wenzelm 2017-11-03 clarified situation of global theory names;
9 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
9 months ago wenzelm 2017-11-02 proper deps;
9 months ago wenzelm 2017-11-02 allow unrelated ancestor; clarified error;
9 months ago wenzelm 2017-11-02 tuned;
9 months ago wenzelm 2017-11-02 support alternative ancestor session;
9 months ago wenzelm 2017-11-02 support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";
9 months ago wenzelm 2017-11-01 more timing;
9 months ago wenzelm 2017-11-01 tuned;
9 months ago wenzelm 2017-11-01 init only once (see also c0f776b661fa);
9 months ago wenzelm 2017-11-01 proper merge (amending fb46c031c841);
9 months ago wenzelm 2017-11-01 build faster without heap images for minor imports;
9 months ago wenzelm 2017-11-01 proper order for entries from multiple profiles, notably "AFP";
9 months ago wenzelm 2017-11-01 tuned output;