diff -r 7dd4eb2c8055 -r 7953879aa6cf lib/texinputs/draft.tex
--- a/lib/texinputs/draft.tex	Tue May 24 11:19:50 2005 +0200
+++ b/lib/texinputs/draft.tex	Tue May 24 14:28:59 2005 +0200
@@ -4,6 +4,7 @@
 %% root for draft documents
 %%
 
+
 \documentclass[10pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}