2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-12 ago tuned;
2017-04-10 ago proper import qualifier for global theories;
2017-04-10 ago clarified signature;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago more session_base information in ML;
2017-04-08 ago tuned signature;
2017-04-07 ago more explicit lookup of loaded_theories: base names allowed here;
2017-04-07 ago tuned;
2017-04-06 ago tuned signature;
2017-04-06 ago more accurate qualified lookup;
2017-04-05 ago uniform import_name, with treatment of global and qualified theories;
2017-04-04 ago clarified: allow to qualify theories from ROOT;
2017-04-04 ago refer to global_theories from all sessions, before selection;
2017-04-04 ago back to more liberal imports (amending 908a27a4b9c9): tolerate mixed situations like "GCD" vs. "~~/src/HOL/GCD";
2017-04-03 ago clarified imports;
2017-04-03 ago tuned signature;
2017-04-03 ago provide session qualifier via resources;
2017-04-03 ago proper qualifier (again, see df4cd6e1fdfa);
2017-04-03 ago simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28);
2017-04-03 ago tuned signature;
2017-03-15 ago unused;
2017-03-15 ago tuned signature;
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;