imp_conv_disj is now declared as a "code unfold" lemma to avoid that conclusion is evaluated eagerly.

isabelle.jars: temporarily disabled, until isatest gets up-to-date java;

some pre-release tunings

more robust console thread (cf. jedit plugin version);

build Isabelle process wrapper; build jEdit plugin, if Scala is available;

* Rudimentary Isabelle plugin for jEdit;

added plugin installation;

tuned;

purge build directory;

basic setup for Isabelle/jEdit plugin;

added interface for command-line option;

removed obsolete prompt and channel markups; replaced prompt markup by prompt channel setup (avoids left-over XML encoding); tuned;

replaced prompt markup by prompt channel setup;

removed obsolete prompt markup;

removed unused of_stream; tty: Output.prompt, avoid low-level TextIO;

added explicit prompt channel (prompt_fn/prompt); tuned;

removed obsolete prompt and channel markups;

Tuned relevant premises selection

tuned comments;

added symbol output mode, with XML escapes; improved message markup: get first position from body text; added INIT message, with pid and session property; removed adhoc PID handling; tuned;

export session id;

secure_main: removed separate welcome;

removed unused text_charref, cdata; added plain_content;

added INIT message, with pid and session property; removed adhoc PID handling;

more instantiation

adhering to instantiation policy

cleaned up some proofs

simplified some proofs

partially adapted to new inversion rules

adapted to new inversion rules

fixed typo

improved warning