tuned header;

--- a/lib/texinputs/draft.tex	Tue Sep 20 21:09:41 2005 +0200
+++ b/lib/texinputs/draft.tex	Tue Sep 20 21:34:20 2005 +0200
@@ -1,10 +1,9 @@
 %%
-%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
+%% $Id$
 %%
 %% root for draft documents
 %%
 
-
 \documentclass[10pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}