root for draft documents;
authorwenzelm
Sat Jun 12 22:47:35 2004 +0200 (2004-06-12)
changeset 149297f1ff621085e
parent 14928 b8c1783c9101
child 14930 24a0b2dd9be6
root for draft documents;
lib/texinputs/draft.tex
     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 +