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
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 names: more uniform;
11 days ago, by wenzelm
update NEWS / documentation / descriptions for Phorge (formerly Phabricator);
11 days ago, by wenzelm
unused;
11 days ago, by wenzelm
follow Phorge 2024 week 35;
11 days ago, by wenzelm
separate theory for tests checking bit operations
11 days ago, by haftmann
optionally use shift operations on target numerals for efficient execution
11 days ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
tip