| Sat, 11 Jun 2011 15:36:46 +0200 | wenzelm | moved/updated single-step tactics; | changeset | files |
| Sat, 11 Jun 2011 15:03:31 +0200 | wenzelm | tuned sections; | changeset | files |
| Sat, 11 Jun 2011 14:27:23 +0200 | wenzelm | reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl; | changeset | files |
| Sat, 11 Jun 2011 07:50:28 +0200 | haftmann | tuned comment | changeset | files |
| Fri, 10 Jun 2011 17:52:09 +0200 | blanchet | name tuning | changeset | files |
| Fri, 10 Jun 2011 17:52:09 +0200 | blanchet | revived the lightweight "poly_tags_{query,bang}" type encodings by fixing their soundness bug | changeset | files |
| Fri, 10 Jun 2011 17:52:09 +0200 | blanchet | don't trim proofs in debug mode | changeset | files |
| Fri, 10 Jun 2011 17:52:09 +0200 | blanchet | tuning | changeset | files |