| Mon, 22 Oct 2012 17:09:49 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 22 Oct 2012 16:27:55 +0200 | wenzelm | further attempts to cope with large files via option jedit_text_overview_limit; | changeset | files |
| 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 |