| Wed, 14 Jan 2015 09:59:12 +0100 | Andreas Lochbihler | allow line breaks in probability syntax | changeset | files |
| Wed, 14 Jan 2015 01:42:36 +0100 | blanchet | don't minimize chained facts -- this leads to subtle failures, e.g. if a method succeeds without a chained fact but fails with it | changeset | files |
| Tue, 13 Jan 2015 20:01:48 +0100 | hoelzl | NEWS | changeset | files |
| Tue, 13 Jan 2015 19:10:36 +0100 | hoelzl | measurability prover: removed app splitting, replaced by more powerful destruction rules | changeset | files |