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;