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
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.
Even more material from the HOL Light metric space library
12 months ago, by paulson
NEWS: Announcing the metric space material
12 months ago, by paulson
merged
12 months ago, by paulson
Hiding the constructor names, particularly to avoid conflicts involving "ext"
12 months ago, by paulson
New HOL Light material on metric spaces and topological spaces
12 months ago, by paulson
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
12 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
tip