| Tue, 18 Nov 2008 00:11:06 +0100 | wenzelm | finish: force proofs; | changeset | files |
| Mon, 17 Nov 2008 23:34:35 +0100 | wenzelm | finish_proof: undefined promises may occur here; | changeset | files |
| Mon, 17 Nov 2008 23:17:13 +0100 | wenzelm | tuned promise/fullfill; | changeset | files |