blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54668
tuning
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54667
reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 54666
reverted f99ee3adb81d -- that old logic seems to make a difference still today
wenzelm [Wed, 11 Sep 2013 11:38:07 +0200] rev 54665
merged
wenzelm [Wed, 11 Sep 2013 11:34:27 +0200] rev 54664
tuned comment;
wenzelm [Wed, 11 Sep 2013 11:08:48 +0200] rev 54663
tuned;
wenzelm [Wed, 11 Sep 2013 11:07:39 +0200] rev 54662
updated for release;
wenzelm [Wed, 11 Sep 2013 00:00:59 +0200] rev 54661
tuned proofs;
wenzelm [Tue, 10 Sep 2013 23:50:03 +0200] rev 54660
tuned proofs;
wenzelm [Tue, 10 Sep 2013 23:08:48 +0200] rev 54659
updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);