2017-01-09 ago clarified modules;
2017-01-09 ago tuned signature;
2017-01-08 ago tuned signature;
2017-01-08 ago resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
2017-01-07 ago clarified check_thy_reader: check node_name here;
2017-01-07 ago more uniform node_header (non-strict);
2017-01-07 ago tuned signature;
2017-01-05 ago tuned;
2017-01-03 ago clarified master_dir: file-URL;
2016-12-31 ago tuned signature;
2016-12-26 ago more uniform treatment of file name vs. theory name and special header;
2016-12-22 ago clarified modules;
2016-12-22 ago tuned;
2016-12-21 ago clarified signature;
2016-08-02 ago tuned signature -- prover-independence is presently theoretical;
2016-08-02 ago support 'abbrevs' within theory header;
2016-04-18 ago tuned signature;
2016-03-08 ago more abstract Session.start, without prover command-line;
2016-03-07 ago Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
2016-02-13 ago clarified bash process -- similar to ML version;
2015-07-30 ago clarified management of (single) session;
2015-03-16 ago tuned message -- include completion;
2015-03-15 ago clarified span position;
2015-03-14 ago clarified positions of theory imports;
2015-03-14 ago misc tuning -- more uniform ML vs. Scala;
2015-03-13 ago tuned signature;
2015-03-13 ago simplified Command.resolve_files in ML, using blobs_index from Scala;
2015-03-12 ago tuned -- more uniform ML vs. Scala;
2014-08-12 ago tuned signature;
2014-08-12 ago generic process wrapping in Prover;
2014-08-12 ago tuned signature;
2014-08-12 ago separate module Command_Span: mostly syntactic representation;
2014-07-23 ago more explicit discrimination of empty nodes -- suppress from Theories panel;
2014-05-08 ago no qualifier for now, to avoid confusion concerning loaded_theories in PIDE interaction;
2014-05-02 ago more frugal access to theory text via Reader, reduced costs for I/O text decoding;
2014-04-30 ago some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-03 ago more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 ago tuned signature (see also 0850d43cb355);
2014-04-03 ago more general prover operations;
2014-03-29 ago propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
2014-03-29 ago tuned signature;
2014-03-29 ago tuned signature;
2014-03-18 ago simplified (despite 70898d016538);
2014-03-18 ago clarifed module name;