Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2012-12-05 wenzelm check for existing image (even if outdated); changeset | files
2012-12-05 wenzelm more elementary dialog, with less interaction; changeset | files
2012-12-05 wenzelm basic interaction with build process; changeset | files
2012-12-05 wenzelm allow to terminate jobs via Progress; changeset | files
2012-12-05 wenzelm more formal progress context; changeset | files
2012-12-05 wenzelm basic wrapper for session build dialog; changeset | files
2012-12-05 wenzelm tuned; changeset | files
2012-12-05 wenzelm tuned signature in accordance to document operations; changeset | files
2012-12-05 wenzelm tuned; changeset | files
2012-12-05 nipkow merged changeset | files
2012-12-05 nipkow \<noteq> now has the same associativity as ~= and = changeset | files
2012-12-05 blanchet tweaked order of theorems to avoid forward dependencies (MaSh) changeset | files
2012-12-04 blanchet rationalized MaSh evaluation harness changeset | files
2012-12-04 blanchet more robustness in the face of MaSh format changes -- don't overwrite new versions with old versions changeset | files
2012-12-04 blanchet added feature weights in MaSh changeset | files
2012-12-04 blanchet promote local facts using a hack (for MaSh) changeset | files
2012-12-04 wenzelm proper action labels, to make this appear in the "Shortcuts" panel, for example; changeset | files
2012-12-04 blanchet turned off noisy MaSh features changeset | files
2012-12-04 blanchet added MaSh learning to Mirabelle changeset | files
2012-12-04 blanchet fixed bug in initialization of naive Bayes (MaSh) changeset | files
2012-12-04 blanchet tuned MaSh exporter -- and don't make temp directories unless explicitly told so changeset | files
2012-12-04 blanchet generalized MaSh exporter to sets of theories changeset | files
2012-12-04 hoelzl remove SMT proofs in Multivariate_Analysis changeset | files
2012-12-04 hoelzl prove tendsto_power_div_exp_0 changeset | files
2012-12-04 hoelzl add filterlim rules for eventually monotone bijective functions; mirror rules for at_top, at_bot; apply them to prove convergence of arctan at infinity and tan at pi/2 changeset | files
2012-12-04 wenzelm merged changeset | files
2012-12-04 wenzelm emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads); changeset | files
2012-12-04 blanchet go back to Z3 3.2 changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle