tuned header;
authorwenzelm
Tue Sep 20 21:34:20 2005 +0200 (2005-09-20)
changeset 1753025370ec2d44a
parent 17529 a436d89845af
child 17531 0bc8ae586a7c
tuned header;
lib/texinputs/draft.tex
     1.1 --- a/lib/texinputs/draft.tex	Tue Sep 20 21:09:41 2005 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Tue Sep 20 21:34:20 2005 +0200
     1.3 @@ -1,10 +1,9 @@
     1.4  %%
     1.5 -%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
     1.6 +%% $Id$
     1.7  %%
     1.8  %% root for draft documents
     1.9  %%
    1.10  
    1.11 -
    1.12  \documentclass[10pt,a4paper]{article}
    1.13  \usepackage{isabelle,isabellesym,pdfsetup}
    1.14