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
-7
+7
+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.
back to static numa_nodes (reverting part of c2c59de57df9);
13 months ago, by wenzelm
tuned messages;
13 months ago, by wenzelm
canonical time function for List.nth
13 months ago, by Manuel Eberl
merged
13 months ago, by paulson
Streamlining of many more archaic proofs
13 months ago, by paulson
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
13 months ago, by Fabian Huch
More tidying of old proofs
13 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip