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
-32
+32
+50
+100
+300
+1000
+3000
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;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
misc tuning and clarification;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
more operations;
17 months ago, by wenzelm
more operations;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
more ML pretty-printing;
17 months ago, by wenzelm
clarified const_proof vs. zproof_name;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
more operations;
17 months ago, by wenzelm
clarified modules;
17 months ago, by wenzelm
more zterm operations;
17 months ago, by wenzelm
compactified specification of type class parity
17 months ago, by haftmann
generalized
17 months ago, by haftmann
explicit annotation of lemma duplicates
17 months ago, by haftmann
merged
17 months ago, by wenzelm
clarified proof_body: cover zboxes from zproof;
17 months ago, by wenzelm
pro-forma support for optional zproof: no proper content yet;
17 months ago, by wenzelm
clarified signature: follow Term.could_unify;
17 months ago, by wenzelm
clarified bootstrap --- modules related to proofterm.ML;
17 months ago, by wenzelm
clarified path time heuristic: configurable parameters for larger search space;
17 months ago, by Fabian Huch
clarified heuristics toString;
17 months ago, by Fabian Huch
tuned;
17 months ago, by Fabian Huch
add heuristic for non-scheduled (standard) build behaviour;
17 months ago, by Fabian Huch
proper unused nodes;
17 months ago, by Fabian Huch
clarified schedule message;
17 months ago, by Fabian Huch
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
+3000
tip