| Wed, 11 Sep 2013 14:07:24 +0200 | blanchet | reverted f99ee3adb81d -- that old logic seems to make a difference still today | changeset | files |
| Wed, 11 Sep 2013 11:38:07 +0200 | wenzelm | merged | changeset | files |
| Wed, 11 Sep 2013 11:34:27 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 11 Sep 2013 11:08:48 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Sep 2013 11:07:39 +0200 | wenzelm | updated for release; | changeset | files |
| 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 |