src/Doc/IsarRef/Document_Preparation.thy
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-12-09 wenzelm 2013-12-09 added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE;
2013-10-29 wenzelm 2013-10-29 tuned;
2013-09-29 wenzelm 2013-09-29 tuned;
2013-07-07 wenzelm 2013-07-07 discontinued command 'print_drafts';
2013-05-13 wenzelm 2013-05-13 option "goals_limit", with more uniform description;
2013-01-26 wenzelm 2013-01-26 updated explanations of document preparation;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;