2014-04-25 wenzelm 2014-04-25 simplified change_buffer (again, see 937826d702d5): no thread, just timer, rely on asynchronous;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-25 wenzelm 2014-04-25 more robust prover termination;
2014-04-25 wenzelm 2014-04-25 more explicit checks;
2014-04-24 wenzelm 2014-04-24 tuned signature;
2014-04-24 wenzelm 2014-04-24 more uniform warning/error handling, potentially with propagation to send_wait caller;
2014-04-24 wenzelm 2014-04-24 more careful shutdown (amending f2f53f7046f4);
2014-04-24 wenzelm 2014-04-24 converted main session manager to Consumer_Thread: messages need to be consumed immediately, postponed_changes replaces implicit actor mailbox scanning;
2014-04-24 wenzelm 2014-04-24 simplified commands_changed_buffer (in contrast to a8331fb5c959): rely on better performance of Consumer_Thread/Mailbox and more direct Timer (like session_actor.receiver);
2014-04-24 wenzelm 2014-04-24 simplified -- prefer Consumer_Thread over Actor;
2014-04-24 wenzelm 2014-04-24 tuned signature, in accordance to ML version;
2014-04-24 wenzelm 2014-04-24 eliminated redundant Volatile;
2014-04-24 wenzelm 2014-04-24 tuned signature in accordance to ML version;
2014-04-23 wenzelm 2014-04-23 explicit Exn.error_message in accordance to Output.error_message in ML;
2014-04-04 wenzelm 2014-04-04 more permissive Session.update_options: this is wired to jEdit PropertiesChanged, which may occur before the prover is started;
2014-04-03 wenzelm 2014-04-03 clarified Version.syntax -- avoid guessing initial situation;
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-03-31 wenzelm 2014-03-31 store blob content within document node: aux. files that were once open are made persistent; proper structural equality for Command.File and Symbol.Index;
2014-03-29 wenzelm 2014-03-29 propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save); tuned signature;
2014-03-29 wenzelm 2014-03-29 tuned signature;
2014-03-18 wenzelm 2014-03-18 clarified module arrangement;