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
-7
+7
+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.
proper substitution of types within term;
13 months ago, by wenzelm
more accurate treatment of term variables after instantiation of type variables;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
check that Isar proofs contain one 'show'
13 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
13 months ago, by blanchet
merge
13 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
tip