doc-src/IsarRef/Thy/document/Document_Preparation.tex
2010-10-29 wenzelm 2010-10-29 eliminated obsolete \_ escapes in rail environments;
2010-09-24 wenzelm 2010-09-24 clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; tuned;
2010-09-16 wenzelm 2010-09-16 updated generated file;
2009-10-09 haftmann 2009-10-09 term styles also cover antiquotations term_type and typeof
2009-10-08 haftmann 2009-10-08 updated generated documentation
2009-03-09 wenzelm 2009-03-09 markup antiquotation options; more correct references to external manuals;
2009-02-28 wenzelm 2009-02-28 updated generated files;
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-10-04 wenzelm 2008-10-04 updated generated file;
2008-08-14 wenzelm 2008-08-14 [source=false] for quoted antiquotation avoids quote-escapes in output;
2008-07-03 haftmann 2008-07-03 added lemma antiquotation
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;