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;