isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

Fixed the theorem name "closed_imp_fip_compact"
2017-10-09, by paulson
new material about connectedness, etc.
2017-10-09, by paulson
more on Docker;
2017-10-08, by wenzelm
removed obsolete RC tags;
2017-10-08, by wenzelm
build_docker is regular tool (non-admin);
2017-10-08, by wenzelm
merged
2017-10-08, by wenzelm
Added tag Isabelle2017 for changeset 64b47495676d
2017-10-08, by wenzelm
obsolete; Isabelle2017
2017-10-04, by wenzelm
more NEWS;
2017-10-03, by wenzelm
updated for release;
2017-10-03, by wenzelm
merged
2017-10-08, by wenzelm
proper File.platform_path for SML/NJ on Windows;
2017-10-08, by wenzelm
clarified signature;
2017-10-08, by wenzelm
proper output of raw ML;
2017-10-08, by wenzelm
theory qualifier is always session name (see also 31e8a86971a8);
2017-10-07, by wenzelm
clarified session structure;
2017-10-07, by wenzelm
discontinued somewhat pointless session group: -g ZF may be replaced by -D ~~/src/ZF;
2017-10-07, by wenzelm
merged
2017-10-07, by wenzelm
clarified empty merge;
2017-10-07, by wenzelm
permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
2017-10-07, by wenzelm
prefer native platform x86-windows, to make this work on x86_64-cygwin;
2017-10-07, by wenzelm
tuned signature;
2017-10-06, by wenzelm
even more robust syntax (amending 122df1fde073);
2017-10-06, by wenzelm
clarified error for bad session-qualified imports;
2017-10-06, by wenzelm
clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
2017-10-06, by wenzelm
merged
2017-10-05, by wenzelm
completion supports theory header imports;
2017-10-05, by wenzelm
clarified modules;
2017-10-05, by wenzelm
tuned signature;
2017-10-05, by wenzelm
new theorem at_within_cbox_finite
2017-10-05, by paulson
process ROOT files only once, which allows duplicate (or overlapping) session root directories;
2017-10-04, by wenzelm
prefer Cygwin64, although some components still require update;
2017-10-03, by wenzelm
updated test version;
2017-10-03, by wenzelm
more recent polyml-test version;
2017-10-03, by wenzelm
misc tuning and modernization;
2017-10-02, by wenzelm
discontinued obsolete 'files' in session ROOT;
2017-10-02, by wenzelm
prefer file dependencies wrt. specific theories;
2017-10-02, by wenzelm
added command 'external_file';
2017-10-02, by wenzelm
proper document (cf. 9f5bfef8bd82);
2017-10-02, by wenzelm
removed pointless dependencies: done by 'spark_open';
2017-10-02, by wenzelm
merged
2017-10-02, by wenzelm
more documentation;
2017-10-02, by wenzelm
clarified imports: prefer parent session images;
2017-10-02, by wenzelm
eliminated old-style no-document imports;
2017-10-02, by wenzelm
proper document;
2017-10-02, by wenzelm
more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions;
2017-10-02, by wenzelm
more documentation;
2017-10-02, by wenzelm
tuned;
2017-10-02, by wenzelm
sources_stamp refers to full sources;
2017-10-02, by wenzelm
option -S for "isabelle build";
2017-10-02, by wenzelm
persistent storage of imported_sources;
2017-10-01, by wenzelm
cache sources: invoke SHA1.digest at most once;
2017-10-01, by wenzelm
tuned;
2017-10-01, by wenzelm
repaired small incident
2017-10-02, by blanchet
updated SMT certificates and added one test
2017-10-01, by blanchet
updated NEWS
2017-10-01, by blanchet
properly take quantifiers into account (cf. my Ph.D. thesis, Section 6.4.1) and offer three modes of completeness (for experiments mostly)
2017-10-01, by blanchet
option -B for "isabelle build" and "isabelle imports";
2017-10-01, by wenzelm
more standard merge operation;
2017-10-01, by wenzelm
updated Sledgehammer docs
2017-09-30, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle