3 months ago wenzelm 2017-10-04 obsolete; Isabelle2017
3 months ago wenzelm 2017-10-03 more NEWS;
3 months ago wenzelm 2017-10-03 updated for release;
3 months ago wenzelm 2017-10-08 merged
3 months ago wenzelm 2017-10-08 proper File.platform_path for SML/NJ on Windows;
3 months ago wenzelm 2017-10-08 clarified signature;
3 months ago wenzelm 2017-10-08 proper output of raw ML;
3 months ago wenzelm 2017-10-07 theory qualifier is always session name (see also 31e8a86971a8);
3 months ago wenzelm 2017-10-07 clarified session structure;
3 months ago wenzelm 2017-10-07 discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
3 months ago wenzelm 2017-10-07 merged
3 months ago wenzelm 2017-10-07 clarified empty merge; tuned;
3 months ago wenzelm 2017-10-07 permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
3 months ago wenzelm 2017-10-07 prefer native platform x86-windows, to make this work on x86_64-cygwin;
3 months ago wenzelm 2017-10-06 tuned signature;
3 months ago wenzelm 2017-10-06 even more robust syntax (amending 122df1fde073);
3 months ago wenzelm 2017-10-06 clarified error for bad session-qualified imports;
3 months ago wenzelm 2017-10-06 clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
3 months ago wenzelm 2017-10-05 merged
3 months ago wenzelm 2017-10-05 completion supports theory header imports; tuned;
3 months ago wenzelm 2017-10-05 clarified modules;
3 months ago wenzelm 2017-10-05 tuned signature;
3 months ago paulson 2017-10-05 new theorem at_within_cbox_finite
3 months ago wenzelm 2017-10-04 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
3 months ago wenzelm 2017-10-03 prefer Cygwin64, although some components still require update;
3 months ago wenzelm 2017-10-03 updated test version;
3 months ago wenzelm 2017-10-03 more recent polyml-test version;
3 months ago wenzelm 2017-10-02 misc tuning and modernization;
3 months ago wenzelm 2017-10-02 discontinued obsolete 'files' in session ROOT;
3 months ago wenzelm 2017-10-02 prefer file dependencies wrt. specific theories;
3 months ago wenzelm 2017-10-02 added command 'external_file';
3 months ago wenzelm 2017-10-02 proper document (cf. 9f5bfef8bd82);
3 months ago wenzelm 2017-10-02 removed pointless dependencies: done by 'spark_open';
3 months ago wenzelm 2017-10-02 merged
3 months ago wenzelm 2017-10-02 more documentation;
3 months ago wenzelm 2017-10-02 clarified imports: prefer parent session images;
3 months ago wenzelm 2017-10-02 eliminated old-style no-document imports;
3 months ago wenzelm 2017-10-02 proper document;
3 months ago wenzelm 2017-10-02 more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
3 months ago wenzelm 2017-10-02 more documentation;
3 months ago wenzelm 2017-10-02 tuned;
3 months ago wenzelm 2017-10-02 sources_stamp refers to full sources; simplified data storage (again);
3 months ago wenzelm 2017-10-02 option -S for "isabelle build";
3 months ago wenzelm 2017-10-01 persistent storage of imported_sources;
3 months ago wenzelm 2017-10-01 cache sources: invoke SHA1.digest at most once; maintain imported_sources, as required for new theories;
3 months ago wenzelm 2017-10-01 tuned;
3 months ago blanchet 2017-10-02 repaired small incident
3 months ago blanchet 2017-10-01 updated SMT certificates and added one test
3 months ago blanchet 2017-10-01 updated NEWS
3 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)
3 months ago wenzelm 2017-10-01 option -B for "isabelle build" and "isabelle imports";
3 months ago wenzelm 2017-10-01 more standard merge operation;
3 months ago blanchet 2017-09-30 updated Sledgehammer docs
3 months ago blanchet 2017-09-30 added veriT component
3 months ago wenzelm 2017-09-30 more and updated documentation;
3 months ago wenzelm 2017-09-30 more and updated documentation;
3 months ago wenzelm 2017-09-30 discontinued rudiments of BSD support; tuned comments;
3 months ago wenzelm 2017-09-30 tuned;
3 months ago wenzelm 2017-09-30 NEWS;
3 months ago wenzelm 2017-09-30 x86-cygwin for tools is no longer supported;