lib/texinputs/draft.tex
changeset 16064 7953879aa6cf
parent 15010 72fbe711e414
child 17530 25370ec2d44a
     1.1 --- a/lib/texinputs/draft.tex	Tue May 24 11:19:50 2005 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Tue May 24 14:28:59 2005 +0200
     1.3 @@ -4,6 +4,7 @@
     1.4  %% root for draft documents
     1.5  %%
     1.6  
     1.7 +
     1.8  \documentclass[10pt,a4paper]{article}
     1.9  \usepackage{isabelle,isabellesym,pdfsetup}
    1.10