Wed, 14 Jan 2015 10:15:41 +0100 | Andreas Lochbihler | allow line breaks in integral notation | changeset | files |
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 |