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

tuned;
2017-11-07, by wenzelm
tuned signature;
2017-11-07, by wenzelm
clarifified selection: always wrt. build_graph structure;
2017-11-07, by wenzelm
tuned;
2017-11-07, by wenzelm
tuned signature;
2017-11-07, by wenzelm
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
2017-11-07, by blanchet
integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch)
2017-11-07, by blanchet
added FIXMEs
2017-11-07, by blanchet
Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
2017-11-07, by nipkow
backed out odd "bug fix" 671decd2e627;
2017-11-07, by wenzelm
more recent polyml-test version;
2017-11-07, by wenzelm
minimal document model for theory files;
2017-11-06, by wenzelm
tuned signature;
2017-11-06, by wenzelm
tuned signature;
2017-11-06, by wenzelm
more uniform header syntax, in contrast to the former etc/abbrevs file-format (see 73939a9b70a3);
2017-11-05, by wenzelm
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");
2017-11-05, by wenzelm
updated comments;
2017-11-05, by wenzelm
updated to scala-2.12.4;
2017-11-05, by wenzelm
testing NewTestRegisterSave;
2017-11-05, by wenzelm
superseded by plain_identify;
2017-11-04, by wenzelm
tolerate odd negative times from old log files (before 1698e9ccef2d);
2017-11-04, by wenzelm
prefer main entry points of HOL;
2017-11-04, by wenzelm
tuned signature;
2017-11-04, by wenzelm
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
2017-11-04, by wenzelm
more robust sorted_entries;
2017-11-04, by wenzelm
more convenient build_log_history;
2017-11-04, by wenzelm
tuned;
2017-11-04, by wenzelm
more portable print_time, notably for occasional negative (!) elapsed time of theory_timing;
2017-11-04, by wenzelm
polyml-test version based on experimental branch NewTestRegisterSave;
2017-11-04, by wenzelm
support for libgmp on x86_64-darwin;
2017-11-03, by wenzelm
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
2017-11-03, by wenzelm
delegate boundary cases to existing IntInf.pow;
2017-11-03, by wenzelm
plain identify job for Isabelle + AFP, independent of any Isabelle technology;
2017-11-03, by wenzelm
tuned (non-unique example);
2017-11-03, by wenzelm
clarified situation of global theory names;
2017-11-03, by wenzelm
less global theories -- avoid confusion about special cases;
2017-11-03, by wenzelm
proper deps;
2017-11-02, by wenzelm
allow unrelated ancestor;
2017-11-02, by wenzelm
tuned;
2017-11-02, by wenzelm
support alternative ancestor session;
2017-11-02, by wenzelm
support focus_session, for much faster startup of Isabelle/jEdit;
2017-11-02, by wenzelm
more timing;
2017-11-01, by wenzelm
tuned;
2017-11-01, by wenzelm
init only once (see also c0f776b661fa);
2017-11-01, by wenzelm
proper merge (amending fb46c031c841);
2017-11-01, by wenzelm
build faster without heap images for minor imports;
2017-11-01, by wenzelm
proper order for entries from multiple profiles, notably "AFP";
2017-11-01, by wenzelm
tuned output;
2017-11-01, by wenzelm
tuned;
2017-11-01, by wenzelm
logic_selector refers to raw logic name;
2017-11-01, by wenzelm
clarified terminology;
2017-11-01, by wenzelm
tuned signature;
2017-11-01, by wenzelm
do not store bulky Session.Deps;
2017-11-01, by wenzelm
avoid duplicate invocation of expensive Sessions.deps on full_sessions;
2017-11-01, by wenzelm
added isabelle jedit options -B, -P, clarified -R;
2017-11-01, by wenzelm
no heap sharing for empty session (e.g. HOL-ODE);
2017-11-01, by wenzelm
tuned diagram;
2017-11-01, by wenzelm
clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
2017-11-01, by wenzelm
removed unused option, which is potentially expensive;
2017-10-31, by wenzelm
allow to augment session context via explicit session infos;
2017-10-31, by wenzelm

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

isabelle