Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
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.
added 'cong' attribute to 'map_cong'
2013-12-02, by blanchet
avoid user-level 'Specification.definition' for internal constructions (to avoid e.g. automatic code generation behavior)
2013-12-02, by blanchet
don't try to register code equations in a locale with assumptions
2013-12-02, by blanchet
minor doc update
2013-12-02, by blanchet
generalized datatype code generation code so that it works with old-style and new-style (co)datatypes (as long as they are not local)
2013-12-02, by blanchet
simpler code
2013-12-02, by blanchet
more work towards "exhaustive"
2013-12-01, by panny
Backed out changeset: a8ad7f6dd217---bypassing Main breaks theories that use \<inf> or \<sup>
2013-11-29, by traytel
set_comprehension_pointfree simproc causes to many surprises if enabled by default
2013-11-29, by traytel
tuned
2013-11-28, by nipkow
updated docs
2013-11-28, by blanchet
added Riss3g
2013-11-28, by blanchet
reduce dependency (toward move to 'HOL')
2013-11-28, by blanchet
cleaned up indirect dependency
2013-11-28, by blanchet
tuned
2013-11-28, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
tip