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
+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.
nlists is picked up automatically but conflicts with the RBT setup
20 months ago, by nipkow
new lemma
20 months ago, by nipkow
merged
20 months ago, by nipkow
New theory of fixed length lists
20 months ago, by nipkow
Further streamlining of quick-and-dirty evaluation.
20 months ago, by haftmann
more correct approximation (contributed by Achim Brucker)
21 months ago, by Achim D. Brucker
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip