changeset 40893 | 7d88ebdce380 |
parent 29145 | b1c6f4563df7 |
child 58870 | e2c0d8ef29cb |
--- a/lib/texinputs/draft.tex Thu Dec 02 21:23:56 2010 +0100 +++ b/lib/texinputs/draft.tex Thu Dec 02 23:09:54 2010 +0100 @@ -6,7 +6,6 @@ \usepackage{isabelle,isabellesym,pdfsetup} %packages for unusual symbols according to 'isabelle latex -o syms' -\usepackage[latin1]{inputenc} \usepackage{amssymb} \usepackage{textcomp}