lib/texinputs/draft.tex
changeset 17530 25370ec2d44a
parent 16064 7953879aa6cf
child 28504 7ad7d7d6df47
equal deleted inserted replaced
17529:a436d89845af 17530:25370ec2d44a
     1 %%
     1 %%
     2 %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
     2 %% $Id$
     3 %%
     3 %%
     4 %% root for draft documents
     4 %% root for draft documents
     5 %%
     5 %%
     6 
       
     7 
     6 
     8 \documentclass[10pt,a4paper]{article}
     7 \documentclass[10pt,a4paper]{article}
     9 \usepackage{isabelle,isabellesym,pdfsetup}
     8 \usepackage{isabelle,isabellesym,pdfsetup}
    10 
     9 
    11 %packages for unusual symbols according to 'isatool latex -o syms'
    10 %packages for unusual symbols according to 'isatool latex -o syms'