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.
unused (see 268bf61631ec);
22 months ago, by wenzelm
clarified exported options;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
do not export connection details (password etc.);
22 months ago, by wenzelm
support option tags;
22 months ago, by wenzelm
use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism
22 months ago, by blanchet
don't try to falisfy goals with schematics
22 months ago, by blanchet
enforce rebuild of Isabelle/ML;
22 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
+1000
+3000
tip