| Fri, 02 May 2014 12:27:40 +0200 | wenzelm | support URLs as well; | changeset | files |
| Fri, 02 May 2014 12:09:02 +0200 | wenzelm | reclaimed Byte_Reader from 51560e392e1b; | changeset | files |
| Fri, 02 May 2014 07:54:23 +0200 | nipkow | new documentation: How to Prove it | changeset | files |
| Thu, 01 May 2014 23:04:07 +0200 | boehmes | disable bad Z3 proof | changeset | files |
| Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | changeset | files |
| Thu, 01 May 2014 22:57:36 +0200 | boehmes | less verbose SAT tactic | changeset | files |
| Thu, 01 May 2014 22:57:34 +0200 | boehmes | use internal proof-producing SAT solver for more efficient SMT proof replay | changeset | files |
| Thu, 01 May 2014 22:56:59 +0200 | boehmes | added internal proof-producing SAT solver | changeset | files |