| Wed, 07 Jan 2009 17:26:03 +0100 | wenzelm | more robust propagation of errors through bulk jobs; | changeset | files |
| Wed, 07 Jan 2009 16:22:10 +0100 | wenzelm | qed/after_qed: singleton result; | changeset | files |
| Wed, 07 Jan 2009 12:10:22 +0100 | wenzelm | Proof.future_terminal_proof: no fork for interactive mode -- proofs need to be checked immediately here; | changeset | files |
| Wed, 07 Jan 2009 12:09:39 +0100 | wenzelm | future_terminal_proof: no fork for interactive mode, assert_backward; | changeset | files |