| Mon, 01 Aug 2016 22:36:47 +0200 | wenzelm | tuned proof; | changeset | files |
| Mon, 01 Aug 2016 22:11:29 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 01 Aug 2016 13:51:17 +0200 | wenzelm | uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly; | changeset | files |