Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+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.
tuned signature;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
check that Isar proofs contain one 'show'
17 months ago, by blanchet
include unnamed chained facts in Sledgehammer's relevance filter
17 months ago, by blanchet
merge
17 months ago, by blanchet
removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a strange semantics
17 months ago, by blanchet
don't freeze terms in Sledgehammer, as this has a bad impact on 'using' facts
17 months ago, by blanchet
tuned T functions: now 0 if not recursive
17 months ago, by nipkow
minor performance tuning;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
misc tuning and clarification;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
more operations;
17 months ago, by wenzelm
more operations;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
clarified signature;
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
more ML pretty-printing;
17 months ago, by wenzelm
clarified const_proof vs. zproof_name;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
more zproofs;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-24
+24
+50
+100
+300
+1000
+3000
tip