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.
reduced prominence of lemma names
20 months ago, by haftmann
new formulation of an auxiliary lemma
20 months ago, by haftmann
A few more inclusion-exclusion theorems from HOL Light
20 months ago, by paulson
Corrected type calculation.
20 months ago, by haftmann
some hints on managed installations
20 months ago, by haftmann
prefer cartouches over quotes for clarity of resulting document
20 months ago, by haftmann
A little reorganisation
20 months ago, by paulson
post-release updates;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
tip