Mon, 22 Oct 2012 14:52:38 +0200 | wenzelm | more detailed Prover IDE NEWS; | changeset | files |
Sun, 21 Oct 2012 22:32:22 +0200 | wenzelm | recovered explicit error message, which was lost in b8570ea1ce25; | changeset | files |
Sun, 21 Oct 2012 22:31:39 +0200 | wenzelm | removed dead code; | changeset | files |