10 months ago ago added ML antiquotation @{master_dir};
10 months ago ago tuned signature;
10 months ago ago prefer symbolic path: it is potentially persisted;
16 months ago ago tuned signature;
16 months ago ago tuned signature;
16 months ago ago protocol message for export of theory resources;
20 months ago ago treat sessions as entities with defining position;
20 months ago ago sort completion result;
20 months ago ago formal treatment of documentation names;
20 months ago ago clarified access to antiquotation options;
20 months ago ago clarified modules;
21 months ago ago added document antiquotation @{session name};
21 months ago ago tuned;
21 months ago ago PIDE markup for session ROOT files;
21 months ago ago tuned;
21 months ago ago clarified signature;
21 months ago ago prefer control symbol antiquotations;
21 months ago ago clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
23 months ago ago clarified error for bad session-qualified imports;
23 months ago ago session-qualified theory names are mandatory;
23 months ago ago discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
2017-04-21 ago eliminated default_qualifier: just a constant;
2017-04-18 ago exclude theories from other sessions;
2017-04-18 ago actually qualify theory names;
2017-04-17 ago uniform use of theory base name for presentation;
2017-04-13 ago clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
2017-04-13 ago tuned signature (again);
2017-04-12 ago tuned according to Scala version;
2017-04-12 ago clarified loaded_theories: map to qualified theory name;
2017-04-10 ago proper import qualifier for global theories;
2017-04-10 ago clarified, according to Scala version;
2017-04-08 ago more qualifier treatment, but in the end it is still ignored;
2017-04-08 ago provide Resources.import_name in ML, similar to Scala version;
2017-04-08 ago clarified;
2017-04-08 ago more session_base information in ML;
2017-04-07 ago refer to known_theory;
2017-04-07 ago provide session base for "isabelle build" and "isabelle console" ML process;
2017-02-27 ago absent timing information means zero, according to 0070053570c4, f235646b1b73;
2016-08-12 ago uniform ML and document antiquotations;
2016-08-12 ago clarified error;
2016-08-11 ago clarified antiquotations;
2015-10-10 ago more explicit HTML.symbols;
2015-10-09 ago more direct HTML presentation, without print mode;
2015-03-16 ago tuned message -- include completion;
2015-03-13 ago simplified Command.resolve_files in ML, using blobs_index from Scala;
2014-12-09 ago imitate command markup and rendering of Isabelle/jEdit in HTML output;
2014-12-03 ago tuned signature;
2014-11-07 ago prefer externally provided keywords -- Command.read_thy may degenerate to bootstrap_thy in case of errors;
2014-11-07 ago plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
2014-11-06 ago more explicit Keyword.keywords;
2014-11-06 ago simplified keyword kinds;
2014-11-05 ago eliminated pointless dynamic keywords (TTY legacy);
2014-11-05 ago explicit type Keyword.keywords;
2014-11-01 ago tuned signature, in accordance to Scala version;
2014-10-31 ago obsolete;
2014-10-31 ago discontinued pointless option: timing is always on (overall theory only);
2014-10-21 ago clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
2014-10-20 ago official support for "tt" style variants, avoid fragile \verb in LaTeX;
2014-08-12 ago tuned signature according to Scala version -- prefer explicit argument;
2014-08-12 ago separate module Command_Span: mostly syntactic representation;