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
-6
+6
+10
+30
+100
+300
+1000
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.
proper command-line;
15 months ago, by wenzelm
Tidying up another of the nominal examples
15 months ago, by paulson
More tidying of Nominal proofs
15 months ago, by paulson
Tidied up another messy theory
15 months ago, by paulson
More proof tidying for Nominal
15 months ago, by paulson
Tidying up more messy proofs
15 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip