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
-4
+4
+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.
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
11 days ago, by Manuel Eberl
official theory for using bit shift operations for ordinary arithmetic if feasible
10 days ago, by haftmann
corrected operation
11 days ago, by haftmann
tuned whitespace
11 days ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
tip