--- 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}