Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+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.
tweaked Sledgehammer interaction
22 months ago, by blanchet
there won't be an E version 2.7
22 months ago, by blanchet
reverted 0506c3273814 -- the message is still useful
22 months ago, by blanchet
compile
22 months ago, by blanchet
adopt terminology suggested by Larry Paulson
22 months ago, by blanchet
more robust E proof parsing
22 months ago, by blanchet
avoid double 'Warning:' in Sledgehammer messages
22 months ago, by blanchet
tweaked abduction in Sledgehammer
22 months ago, by blanchet
slightly more documentation
22 months ago, by blanchet
renamed new Sledgehammer option
22 months ago, by blanchet
updated documentation
22 months ago, by blanchet
improve ad hoc abduction in Sledgehammer
22 months ago, by blanchet
tuning
22 months ago, by blanchet
don't apply abduction and consistency checking to goals of the form 'False'
22 months ago, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
tip