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.
tuned: prefer if_proper expression;
17 months ago, by wenzelm
New material by Wenda Li and Manuel Eberl
17 months ago, by paulson
merged
17 months ago, by traytel
export BNF properties about the cardinal bound (by Jan van Brügge)
17 months ago, by traytel
unused (see 123f2c0995b8);
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip