lib/texinputs/draft.tex
author wenzelm
Sun Jun 13 15:31:11 2004 +0200 (2004-06-13)
changeset 14936 a13d5118f628
parent 14929 7f1ff621085e
child 14966 53e6823b0971
permissions -rw-r--r--
tuned;
     1 %%
     2 %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem)
     3 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     4 %%
     5 %% root for draft documents
     6 %%
     7 
     8 \documentclass[10pt,a4paper]{article}
     9 \usepackage{isabelle,isabellesym}
    10 \usepackage[latin1]{inputenc}
    11 \usepackage{pdfsetup}
    12 
    13 \pagestyle{myheadings}
    14 \renewcommand{\isamarkupheader}[1]%
    15 {{\def\isacharunderscore{\mbox{-}}%
    16 \section*{#1}\markright{FILE~``\isabellecontext''}}}
    17 
    18 \begin{document}
    19 \input{session}
    20 \end{document}
    21 
    22 %%% Local Variables:
    23 %%% mode: latex
    24 %%% TeX-master: t
    25 %%% End: