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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

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
synthesize session with all required theories from other session imports;
2017-10-31, by wenzelm
clarified signature;
2017-10-31, by wenzelm
clarified signature;
2017-10-31, by wenzelm
clarified signature;
2017-10-31, by wenzelm
clarified signature;
2017-10-31, by wenzelm
clarified signature: global_theories is always required;
2017-10-31, by wenzelm
tuned;
2017-10-31, by wenzelm
tuned signature;
2017-10-31, by wenzelm
clarified modules;
2017-10-31, by wenzelm
minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
2017-10-31, by wenzelm
more permissive: db could be empty after hard crash;
2017-10-31, by wenzelm
no censorship (in contrast to 2c828c830ad7);
2017-10-31, by wenzelm
A few more topological results. And made some slow proofs faster
2017-10-31, by paulson
removed ancient nat-int transfer
2017-10-31, by haftmann

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

isabelle