changeset 17530 | 25370ec2d44a |
parent 16064 | 7953879aa6cf |
child 28504 | 7ad7d7d6df47 |
--- 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}