Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Thu, 12 Jun 2014 17:02:03 +0200 blanchet updated docs changeset | files
Thu, 12 Jun 2014 17:02:03 +0200 blanchet added support for CVC4 in SMT2 changeset | files
Thu, 12 Jun 2014 17:02:03 +0200 blanchet don't ask proof-disabled solvers to do proofs changeset | files
Thu, 12 Jun 2014 17:02:03 +0200 blanchet tuning changeset | files
Thu, 12 Jun 2014 17:02:03 +0200 blanchet took out broken support for Yices from SMT2 stack -- see 'NEWS' for rationale changeset | files
Thu, 12 Jun 2014 17:02:02 +0200 blanchet made CVC3 work with SMT2 stack changeset | files
Thu, 12 Jun 2014 15:47:36 +0200 hoelzl properties of Erlang and exponentially distributed random variables (by Sudeep Kanav) changeset | files
Wed, 11 Jun 2014 13:39:38 +0200 hoelzl clean up ContNotDenum; add lemmas by Jeremy Avigad and Luke Serafin changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle