misc tuning and clarification of Document/Change;

adhoc reset of blink rate; bind "console" instance;

provide global "Isabelle" within interpreter loop -- using import instead of val avoids pontential conflicts with later import isabelle.jedit._;

redirect scala.Console output during interpretation; misc tuning;

bind "session"; added printInfoMessage; added stop -- re-inits the interpreter;

export isabelle_system, e.g. for use via "session" in Isabelle/Scala interpreter;

removed unused var plugin;

pass all jEdit jars to compiler as classpath -- to enable proper referencing of application name space; reduced predefined values, which take time and are static anyway;

provide some bindings of jEdit values; plain color for input;

more precise prompt etc.;

define scala.home, for more robust startup of Scala tools, notably the compiler;

added jEdit Console and Scala compiler;

some attempts at Scala console plugin;

more precise treatment of document/state assigment;

more precise notion of bad messages;

use Text_Edit provided by Isabelle;

result.is_ready is not bad;

singleton status messages, with more precise patterns -- report bad messages;

back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states; recent_document: require finished state assignment; explicitly typed Session.lookup_command;

slightly more uniform/robust handling of visible document; uniform changed_delay for view updates; misc tuning;

recovered explicit Changed.id (copy of future document) -- avoids premature joining of result; Change.ancestors: frugal iterator;

more explicit treatment of command/document state; misc tuning and clarification;

removed unused document_change bus;

tuned;

tuned;

misc tuning;

tuned Change: eliminated redundant copy of document id;

eliminated redundant session documents database; tuned;