2014-08-28 wenzelm 2014-08-28 more liberal embedded "text", which includes cartouches;
2014-08-12 wenzelm 2014-08-12 tuned signature according to Scala version -- prefer explicit argument;
2014-07-01 wenzelm 2014-07-01 redundant error position, to ensure the message is attached somewhere, despite the distortion of positions due to glued tokens;
2014-06-16 wenzelm 2014-06-16 formal check of jEdit actions;
2014-04-08 wenzelm 2014-04-08 more uniform ML/document antiquotations;
2014-03-27 wenzelm 2014-03-27 redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands); more explicit ML_Compiler.flags;
2014-03-26 wenzelm 2014-03-26 prefer Context_Position where a context is available; prefer explicit Context_Position.is_visible -- avoid redundant message composition; tuned signature;
2014-03-25 wenzelm 2014-03-25 separate tokenization and language context for SML: no symbols, no antiquotes;
2014-03-25 wenzelm 2014-03-25 added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-03-17 wenzelm 2014-03-17 more antiquotations;
2014-03-13 wenzelm 2014-03-13 added ML antiquotation @{path};
2014-03-12 wenzelm 2014-03-12 ML_Context.check_antiquotation still required;
2014-03-12 wenzelm 2014-03-12 tuned;
2014-03-12 wenzelm 2014-03-12 some document antiquotations for Isabelle/jEdit elements; modernized theory setup;
2014-03-08 wenzelm 2014-03-08 modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121); proper context for global data; tuned signature;
2014-03-02 wenzelm 2014-03-02 clarified names of antiquotations and markup; more documentation;
2014-03-02 wenzelm 2014-03-02 more markup for ML source;
2014-03-01 wenzelm 2014-03-01 clarified language markup: added "delimited" property; type Symbol_Pos.source preserves information about delimited outer tokens (e.g string, cartouche); observe Completion.Language_Context only for delimited languages, which is important to complete keywords after undelimited inner tokens, e.g. "lemma A pro";
2014-02-25 wenzelm 2014-02-25 proper context for global data;
2014-02-25 wenzelm 2014-02-25 modernized Method.check_name/check_source (with reports) vs. strict Method.the_method (without interning nor reports), e.g. relevant for semantic completion; removed obsolete Method.Source_i; proper context for global data; tuned messages;
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-11-07 wenzelm 2013-11-07 misc tuning;
2013-08-18 wenzelm 2013-08-18 more markup;
2013-08-16 wenzelm 2013-08-16 check_tool wrt. official ISABELLE_TOOLS; added Path.split (cf. Scala version);
2013-08-16 wenzelm 2013-08-16 more markup via Name_Space.check; tuned signature;
2013-06-15 wenzelm 2013-06-15 updated operations on proof terms;
2012-11-26 wenzelm 2012-11-26 tuned signature; tuned;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;