wenzelm [Sat, 04 Jul 2009 17:50:48 +0200] rev 34642
tuned token styles, according to some earlier Isabelle/jEdit experiments;
wenzelm [Sat, 04 Jul 2009 17:32:26 +0200] rev 34641
use static Map/Set for token categorization;
misc tuning;
wenzelm [Sat, 04 Jul 2009 14:14:37 +0200] rev 34640
added symbol_index (presently unused);
misc tuning;
wenzelm [Sat, 04 Jul 2009 14:14:07 +0200] rev 34639
misc tuning;
wenzelm [Fri, 03 Jul 2009 21:54:00 +0200] rev 34638
updated to Netbeans 6.7;
added jEdit plugins;
updated startup (Isabelle_System configuration);
wenzelm [Tue, 30 Jun 2009 21:22:50 +0200] rev 34637
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
wenzelm [Sat, 27 Jun 2009 00:19:11 +0200] rev 34636
preload CSS resources;
wenzelm [Fri, 26 Jun 2009 23:28:46 +0200] rev 34635
more robust handling of Isabelle CSS files;
wenzelm [Fri, 26 Jun 2009 21:52:56 +0200] rev 34634
default file is plain Scratch.thy (as in Proof General);
wenzelm [Fri, 26 Jun 2009 21:47:22 +0200] rev 34633
removed obsolete VFS -- superceded by IsabelleEncoding;