| Thu, 16 May 2013 02:13:42 +0200 | nipkow | merged | changeset | files |
| Thu, 16 May 2013 02:13:23 +0200 | nipkow | finally: acom with pointwise access and update of annotations | changeset | files |
| Wed, 15 May 2013 23:00:17 +0200 | wenzelm | merged; | changeset | files |
| Wed, 15 May 2013 22:30:24 +0200 | wenzelm | clarified preferences: "override" re-initialized on prover startup, and "default" sent to PG -- thus recover typical defaults like auto-quickcheck in PG 4.x; | changeset | files |