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.
explicit range types in abstractions
16 months ago, by stuebinm
somehow more clear terminology
16 months ago, by haftmann
tuned
16 months ago, by haftmann
Some basis results about trigonometric functions
16 months ago, by paulson
merged
16 months ago, by paulson
Even more new material from Eberl and Li
16 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
tip