| 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 |
| Sun, 21 Oct 2012 22:31:39 +0200 | wenzelm | removed dead code; | changeset | files |
| Sun, 21 Oct 2012 22:12:22 +0200 | wenzelm | proper signatures; | changeset | files |
| Sun, 21 Oct 2012 22:11:38 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 21 Oct 2012 17:04:13 +0200 | webertj | merged | changeset | files |