lib/texinputs/draft.tex
2014-11-02 wenzelm 2014-11-02 more flexibile \setisabellecontext, independently of header;
2010-12-02 wenzelm 2010-12-02 isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2005-09-20 wenzelm 2005-09-20 tuned header;
2005-05-24 haftmann 2005-05-24 ML_idf antiquotation
2004-06-29 kleing 2004-06-29 license change to BSD
2004-06-20 wenzelm 2004-06-20 tuned;
2004-06-18 wenzelm 2004-06-18 more generous treatment of packages in draft prints;
2004-06-18 aspinall 2004-06-18 Add \usepackage{latexsym}
2004-06-13 wenzelm 2004-06-13 tuned;
2004-06-12 wenzelm 2004-06-12 root for draft documents;