| Thu, 30 Aug 2012 15:26:37 +0200 | wenzelm | refined status of forked goals; | changeset | files |
| Thu, 30 Aug 2012 15:22:21 +0200 | wenzelm | proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping); | changeset | files |
| Wed, 29 Aug 2012 22:18:33 +0200 | wenzelm | tuned message; | changeset | files |