
diff -r b8c1783c9101 -r 7f1ff621085e lib/texinputs/draft.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/texinputs/draft.tex	Sat Jun 12 22:47:35 2004 +0200
@@ -0,0 +1,20 @@
+%%
+%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
+%%
+%% root for draft documents
+%%
+
+\documentclass[10pt,a4paper]{article}
+\usepackage{isabelle,isabellesym}
+\usepackage[latin1]{inputenc}
+\usepackage{pdfsetup}
+
+\pagestyle{myheadings}
+\renewcommand{\isamarkupheader}[1]%
+{\section{#1}\markright{FILE~``\isabellecontext''}}
+
+\begin{document}
+\input{session}
+\end{document}
+




