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
+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.
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
21 months ago, by traytel
merged
21 months ago, by paulson
Beautification of some declarations
21 months ago, by paulson
merged
21 months ago, by wenzelm
more robust etc/preferences: default value remains;
21 months ago, by wenzelm
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
21 months ago, by wenzelm
Beautifying CTT a tiny bit
21 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip