lib/texinputs/draft.tex
author wenzelm
Tue Sep 20 21:34:20 2005 +0200 (2005-09-20)
changeset 17530 25370ec2d44a
parent 16064 7953879aa6cf
child 28504 7ad7d7d6df47
permissions -rw-r--r--
tuned header;
     1 %%
     2 %% $Id$
     3 %%
     4 %% root for draft documents
     5 %%
     6 
     7 \documentclass[10pt,a4paper]{article}
     8 \usepackage{isabelle,isabellesym,pdfsetup}
     9 
    10 %packages for unusual symbols according to 'isatool latex -o syms'
    11 \usepackage[latin1]{inputenc}
    12 \usepackage{amssymb}
    13 \usepackage{textcomp}
    14 
    15 \pagestyle{myheadings}
    16 \renewcommand{\isamarkupheader}[1]%
    17 {{\def\isacharunderscore{\mbox{-}}%
    18 \section*{#1}\markright{FILE~``\isabellecontext''}}}
    19 
    20 \begin{document}
    21 \input{session}
    22 \end{document}
    23 
    24 %%% Local Variables:
    25 %%% mode: latex
    26 %%% TeX-master: t
    27 %%% End: