reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin;

tuned;

misc tuning and simplification;

clarified modules;

proper Swing buttons instead of active areas within text (by Lars Hupel);

more systematic Isabelle output, like in classic Isabelle/ML (without markup);

replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;

tuned whitespace;

clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
eliminated old actors;

more general prover operations;

more general prover operations;

more explicit iterator terminology, in accordance to Scala 2.8 library;
clarified Graph.keys_iterator vs. Graph.keys, with subtle change of semantics;
tuned output;

removed bogus "error" message (it appeared during regular mode of operation)

--HG--
extra : amend_source : 49068c2f3a89065f5dac1d61eee17a6c9c7843f3

prefer concrete list append;

more standard names for protocol and markup elements;

"no_memory" option for the simplifier trace to bypass memoization

interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state

--HG--
extra : amend_source : ecfd76d4e8277199ca35432e0682414689f265fb

skeleton for Simplifier trace by Lars Hupel;