Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+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.
clarified signature: more explicit types;
24 months ago, by wenzelm
clarified modules;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
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
merged
24 months ago, by paulson
More material for Analysis and Complex_Analysis
24 months ago, by paulson
actually executable enum_all, enum_ex for word
24 months ago, by haftmann
tuned text
24 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
tip