src/Pure/Thy/document_antiquotations.ML
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-12-09 wenzelm 2015-12-09 clarified type Token.src: plain token list, with usual implicit value assignment; clarified type Token.name_value, notably for head of Token.src; clarified Attrib/Method check_src vs. parser;
2015-11-25 wenzelm 2015-11-25 observe option "indent";
2015-11-19 wenzelm 2015-11-19 trim lines for @{theory_text} similarly to @{text};
2015-11-19 wenzelm 2015-11-19 tuned;
2015-11-13 wenzelm 2015-11-13 added antiquotation @{doc}, e.g. useful for demonstration purposes;
2015-11-10 wenzelm 2015-11-10 added @{command}, @{method}, @{attribute};
2015-11-10 wenzelm 2015-11-10 clarified modules;