| Fri, 01 May 2015 00:27:04 +0200 | wenzelm | updated screenshots; | changeset | files |
| Thu, 30 Apr 2015 17:02:57 +0200 | wenzelm | updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository; | changeset | files |
| Thu, 30 Apr 2015 17:00:50 +0200 | wenzelm | avoid potential conflict with Eisbach keyword (although keywords are local to the theory context); | changeset | files |
| Tue, 28 Apr 2015 13:30:28 +0200 | blanchet | allow sorts on dead variables in BNFs | changeset | files |
| Tue, 28 Apr 2015 11:48:44 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 28 Apr 2015 11:47:49 +0200 | wenzelm | avoid auto-load dialog while exit/closeAllBuffers is active: the perspective manager happens to indicate this precisely in jEdit 5.2.0; | changeset | files |