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
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.
renamed theorems
10 months ago, by desharna
add title;
10 months ago, by Fabian Huch
use build_cluster in ci builds;
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
tuned alias names in formulas
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add favicon to web app;
10 months ago, by Fabian Huch
merged
10 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip