# HG changeset patch
# User wenzelm
# Date 1127244860 -7200
# Node ID 25370ec2d44a467649a4dd6f143b95a2565280b6
# Parent  a436d89845af124e122fc3a7e74839c9458d76fa
tuned header;

diff -r a436d89845af -r 25370ec2d44a lib/texinputs/draft.tex
--- 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}