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
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;
14 months ago, by wenzelm
clarified names;
14 months ago, by wenzelm
more explicit build_cluster flag to guard open_build_database server;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
simplified specification of type class semiring_bits
14 months ago, by haftmann
New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl
14 months ago, by paulson
merged
14 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
tip