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;
19 months ago, by wenzelm
clarified database for heaps: do not depend on build_database_test;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
More metric space material
19 months ago, by paulson
merged
19 months ago, by paulson
New and generalised analysis lemmas
19 months ago, by paulson
tuned names
19 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
tip