| Wed, 11 Sep 2013 00:00:59 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 10 Sep 2013 23:50:03 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 10 Sep 2013 23:08:48 +0200 | wenzelm | updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar); | changeset | files |