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.
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
tip