gui element to set current document version

set current document version; forget "future" versions in list

current version in theoryview/buffer

activation

remember removed text

insert mode isabelle into catalog

updated to jedit 4.3pre17 -- no longer provide separate ml.xml;

updated to jEdit 4.3pre17;

removed obsolete isabelle.utils.Delay;

renamed Delay to clarified version Swing_Thread.delay;

change_receiver: removed redundant Swing_Thread wrapper -- the Delay timer action is already in Swing; added update_delay, which invokes token markup via buffer.propertiesChanged (potentially many other things?);

replaced utils.Delay by tune version isabelle.Delay (Pure.jar);

use symbolic NULL;

tuned token styles, according to some earlier Isabelle/jEdit experiments;

use static Map/Set for token categorization; misc tuning;

added symbol_index (presently unused); misc tuning;

misc tuning;

updated to Netbeans 6.7; added jEdit plugins; updated startup (Isabelle_System configuration);

renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;

preload CSS resources;

more robust handling of Isabelle CSS files;

default file is plain Scratch.thy (as in Proof General);

removed obsolete VFS -- superceded by IsabelleEncoding;

prover.set_document: plain name, no path for now;

removes VFS service -- superceded by UTF-8-Isabelle encoding;

recovered Isabelle font -- deriveFont(Int) refers to style, not size!

opt-out obscure encodings;

completion: decode symbols only if isabelle encoding is active (to prevent unicode chars written back to file); tuned;

decentralized Isabelle component names;

renamed UTF-8-isabelle to UTF-8-Isabelle;