wenzelm [Sat, 04 Jul 2009 22:25:47 +0200] rev 34641
replaced utils.Delay by tune version isabelle.Delay (Pure.jar);
wenzelm [Sat, 04 Jul 2009 20:28:57 +0200] rev 34640
use symbolic NULL;
wenzelm [Sat, 04 Jul 2009 17:50:48 +0200] rev 34639
tuned token styles, according to some earlier Isabelle/jEdit experiments;
wenzelm [Sat, 04 Jul 2009 17:32:26 +0200] rev 34638
use static Map/Set for token categorization;
misc tuning;
wenzelm [Sat, 04 Jul 2009 14:14:37 +0200] rev 34637
added symbol_index (presently unused);
misc tuning;
wenzelm [Sat, 04 Jul 2009 14:14:07 +0200] rev 34636
misc tuning;
wenzelm [Fri, 03 Jul 2009 21:54:00 +0200] rev 34635
updated to Netbeans 6.7;
added jEdit plugins;
updated startup (Isabelle_System configuration);
wenzelm [Tue, 30 Jun 2009 21:22:50 +0200] rev 34634
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
wenzelm [Sat, 27 Jun 2009 00:19:11 +0200] rev 34633
preload CSS resources;
wenzelm [Fri, 26 Jun 2009 23:28:46 +0200] rev 34632
more robust handling of Isabelle CSS files;