Wed, 11 Sep 2013 11:08:48 +0200 tuned;
wenzelm [Wed, 11 Sep 2013 11:08:48 +0200] rev 53526
tuned;
Wed, 11 Sep 2013 11:07:39 +0200 updated for release;
wenzelm [Wed, 11 Sep 2013 11:07:39 +0200] rev 53525
updated for release;
Wed, 11 Sep 2013 00:00:59 +0200 tuned proofs;
wenzelm [Wed, 11 Sep 2013 00:00:59 +0200] rev 53524
tuned proofs;
Tue, 10 Sep 2013 23:50:03 +0200 tuned proofs;
wenzelm [Tue, 10 Sep 2013 23:50:03 +0200] rev 53523
tuned proofs;
Tue, 10 Sep 2013 23:08:48 +0200 updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);
wenzelm [Tue, 10 Sep 2013 23:08:48 +0200] rev 53522
updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);
Tue, 10 Sep 2013 22:37:01 +0200 disable some key event workarounds going back to Matthieu Casanova (08-Dec-2007) and Slava Pestov (until 2005) -- lets hope that Java 7 works more uniformly with numeric keypads;
wenzelm [Tue, 10 Sep 2013 22:37:01 +0200] rev 53521
disable some key event workarounds going back to Matthieu Casanova (08-Dec-2007) and Slava Pestov (until 2005) -- lets hope that Java 7 works more uniformly with numeric keypads;
Tue, 10 Sep 2013 18:14:47 +0200 tuned proofs;
wenzelm [Tue, 10 Sep 2013 18:14:47 +0200] rev 53520
tuned proofs;
Tue, 10 Sep 2013 16:09:33 +0200 discontinued obsolete command-line tool "isabelle build_dialog";
wenzelm [Tue, 10 Sep 2013 16:09:33 +0200] rev 53519
discontinued obsolete command-line tool "isabelle build_dialog";
Wed, 11 Sep 2013 10:57:09 +0200 updated docs
blanchet [Wed, 11 Sep 2013 10:57:09 +0200] rev 53518
updated docs
Wed, 11 Sep 2013 09:51:30 +0200 speed up often-called function
blanchet [Wed, 11 Sep 2013 09:51:30 +0200] rev 53517
speed up often-called function
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip