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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned signature;
2014-05-06, by wenzelm
renamed "Find" to "Query", with more general operations;
2014-05-06, by wenzelm
hardwired default_frequency to avoid fluctuation of popup content;
2014-05-06, by wenzelm
more visual feedback on path_completion, at the risk of file-system access in GUI painting;
2014-05-06, by wenzelm
tuned;
2014-05-06, by wenzelm
explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts";
2014-05-06, by wenzelm
tuned GUI layout;
2014-05-06, by wenzelm
tuned;
2014-05-06, by wenzelm
some complication with ListView.Renderer to get tooltips;
2014-05-05, by wenzelm
expose interrupts more like ML version, but not in managed bash processes of Build;
2014-05-05, by wenzelm
merged
2014-05-05, by wenzelm
uniform Toplevel.print for all proof commands;
2014-05-05, by wenzelm
clarified print operations for "terms" and "theorems";
2014-05-05, by wenzelm
more print operations;
2014-05-05, by wenzelm
tuned GUI;
2014-05-05, by wenzelm
more decisive change of focus;
2014-05-05, by wenzelm
support print operations as asynchronous query;
2014-05-05, by wenzelm
allow empty original, e.g. path "";
2014-05-05, by wenzelm
more robust process kill -- postpone interrupts on current thread;
2014-05-05, by wenzelm
tuned signature;
2014-05-05, by wenzelm
tuned signature;
2014-05-05, by wenzelm
tuned comment
2014-05-05, by blanchet
simplify selectors in code views
2014-05-05, by blanchet
note correct induction schemes in 'primrec' (for N2M)
2014-05-05, by blanchet
use right meson tactic for preplaying
2014-05-04, by blanchet
simplify unused universally quantified variables in Z3 proofs
2014-05-04, by blanchet
fixed Waldmeister endgame w.r.t. "Trueprop"
2014-05-04, by blanchet
tuned structure name
2014-05-04, by blanchet
added 'satx' to Sledgehammer's portfolio (cf. 'isar_try0')
2014-05-04, by blanchet
renamed 'dpll_p' to 'cdclite', to avoid confusion with the old 'dpll' and to reflect the idea that the new prover implements some ideas from CDCL not in DPLL -- this follows its author's, Sascha B.'s, wish
2014-05-04, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip