Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+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.
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
tip