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;