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