lib/texinputs/draft.tex
changeset 14929 7f1ff621085e
child 14936 a13d5118f628
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/texinputs/draft.tex	Sat Jun 12 22:47:35 2004 +0200
     1.3 @@ -0,0 +1,20 @@
     1.4 +%%
     1.5 +%% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
     1.6 +%% License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.7 +%%
     1.8 +%% root for draft documents
     1.9 +%%
    1.10 +
    1.11 +\documentclass[10pt,a4paper]{article}
    1.12 +\usepackage{isabelle,isabellesym}
    1.13 +\usepackage[latin1]{inputenc}
    1.14 +\usepackage{pdfsetup}
    1.15 +
    1.16 +\pagestyle{myheadings}
    1.17 +\renewcommand{\isamarkupheader}[1]%
    1.18 +{\section{#1}\markright{FILE~``\isabellecontext''}}
    1.19 +
    1.20 +\begin{document}
    1.21 +\input{session}
    1.22 +\end{document}
    1.23 +