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
-28
+28
+50
+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.
regression tests for n2m
2014-09-19, by traytel
merged
2014-09-19, by Andreas Lochbihler
add lemma
2014-09-18, by Andreas Lochbihler
tuned imports
2014-09-18, by blanchet
removed debugging junk
2014-09-18, by blanchet
help AFP entry 'Free-Groups' to compile
2014-09-18, by blanchet
reintroduced an instantiation of 'size' for 'numerals'
2014-09-18, by blanchet
use selector
2014-09-18, by blanchet
moved old 'size' generator together with 'old_datatype'
2014-09-18, by blanchet
moved datatype realizer to 'old_datatype' and colleagues
2014-09-18, by blanchet
careful with op = in n2m (actually by Dmitriy Traytel)
2014-09-18, by blanchet
fixed attribute name in docs (thanks to Andreas Lochbihler)
2014-09-18, by blanchet
updated NEWS
2014-09-18, by blanchet
moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)
2014-09-18, by blanchet
increased 'HOL-Proofs' timeout
2014-09-18, by blanchet
made 'mk_pointfree' work again in local theories
2014-09-18, by blanchet
fixed authorship
2014-09-18, by blanchet
product over monoids for lists
2014-09-18, by haftmann
renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming
2014-09-18, by blanchet
more meaningful record tests
2014-09-18, by blanchet
updated SMT certificates
2014-09-18, by blanchet
tuning
2014-09-17, by blanchet
take out selectors for records -- for derived records, these don't quite have the right type
2014-09-17, by blanchet
register Isabelle selectors as SMT selectors when possible
2014-09-17, by blanchet
added codatatype support for CVC4
2014-09-17, by blanchet
added interface for CVC4 extensions
2014-09-17, by blanchet
avoid 'subst_tac' when possible (it is suspected of not helping 'HOL-Proofs')
2014-09-17, by blanchet
tweaked compatibility layer
2014-09-17, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
tip