| 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 |
| Mon, 27 Apr 2015 16:46:52 +0200 | wenzelm | code equations as displayable content in code dependency graph | changeset | files |