19 months ago wenzelm 2017-10-03 more recent polyml-test version;
19 months ago wenzelm 2017-10-02 misc tuning and modernization;
19 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
19 months ago wenzelm 2017-10-02 prefer file dependencies wrt. specific theories;
19 months ago wenzelm 2017-10-02 added command 'external_file';
19 months ago wenzelm 2017-10-02 proper document (cf. 9f5bfef8bd82);
19 months ago wenzelm 2017-10-02 removed pointless dependencies: done by 'spark_open';
19 months ago wenzelm 2017-10-02 merged
19 months ago wenzelm 2017-10-02 more documentation;
19 months ago wenzelm 2017-10-02 clarified imports: prefer parent session images;
19 months ago wenzelm 2017-10-02 eliminated old-style no-document imports;
19 months ago wenzelm 2017-10-02 proper document;
19 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
19 months ago wenzelm 2017-10-02 more documentation;
19 months ago wenzelm 2017-10-02 tuned;
19 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
19 months ago wenzelm 2017-10-02 option -S for "isabelle build";
19 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
19 months ago wenzelm 2017-10-01 cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
19 months ago wenzelm 2017-10-01 tuned;
19 months ago blanchet 2017-10-02 repaired small incident
19 months ago blanchet 2017-10-01 updated SMT certificates and added one test
19 months ago blanchet 2017-10-01 updated NEWS
19 months ago blanchet 2017-10-01 properly take quantifiers into account (cf. my Ph.D. thesis, Section 6.4.1) and offer three modes of completeness (for experiments mostly)
19 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
19 months ago wenzelm 2017-10-01 more standard merge operation;
19 months ago blanchet 2017-09-30 updated Sledgehammer docs
19 months ago blanchet 2017-09-30 added veriT component
19 months ago wenzelm 2017-09-30 more and updated documentation;
19 months ago wenzelm 2017-09-30 more and updated documentation;
19 months ago wenzelm 2017-09-30 discontinued rudiments of BSD support; tuned comments;
19 months ago wenzelm 2017-09-30 tuned;
19 months ago wenzelm 2017-09-30 NEWS;
19 months ago wenzelm 2017-09-30 x86-cygwin for tools is no longer supported;
19 months ago wenzelm 2017-09-30 updated to x86_64-cygwin;
19 months ago wenzelm 2017-09-30 updated to x86_64-cygwin;
19 months ago wenzelm 2017-09-30 auto update;
19 months ago wenzelm 2017-09-30 "windows" application is always x86_64;
19 months ago wenzelm 2017-09-29 merged
19 months ago wenzelm 2017-09-29 unused;
19 months ago wenzelm 2017-09-29 more accurate node_syntax: avoid overall_syntax for PIDE edits;
19 months ago wenzelm 2017-09-29 tuned signature;
19 months ago wenzelm 2017-09-29 clarified theory syntax vs. overall session syntax;
19 months ago wenzelm 2017-09-29 unused;
19 months ago wenzelm 2017-09-29 more informative loaded_theories: dependencies and syntax;
19 months ago wenzelm 2017-09-29 tuned signature;
19 months ago wenzelm 2017-09-29 tuned;
19 months ago wenzelm 2017-09-29 tuned signature;
19 months ago wenzelm 2017-09-29 tuned;
19 months ago wenzelm 2017-09-28 session-qualified theory names are mandatory;
19 months ago wenzelm 2017-09-28 discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
19 months ago paulson 2017-09-29 eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
19 months ago paulson 2017-09-29 Merge (resolved trivial conflict)
19 months ago paulson 2017-09-29 New results for Green's theorem
19 months ago paulson 2017-09-28 merged
20 months ago paulson 2017-09-09 merged
20 months ago paulson 2017-08-31 merged
20 months ago paulson 2017-08-31 merged
20 months ago paulson 2017-08-31 more proof simplificaition
20 months ago wenzelm 2017-09-28 merged