| Sun, 03 May 2015 20:21:25 +0200 | wenzelm | proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea; | changeset | files |
| Sun, 03 May 2015 20:04:38 +0200 | wenzelm | tuned output to resemble input syntax more closely; | changeset | files |
| Sun, 03 May 2015 18:51:26 +0200 | wenzelm | updated Eisbach, using version fb741500f533 of its Bitbucket repository; | changeset | files |