lib/texinputs/draft.tex
changeset 14936 a13d5118f628
parent 14929 7f1ff621085e
child 14966 53e6823b0971
     1.1 --- a/lib/texinputs/draft.tex	Sun Jun 13 15:30:58 2004 +0200
     1.2 +++ b/lib/texinputs/draft.tex	Sun Jun 13 15:31:11 2004 +0200
     1.3 @@ -12,9 +12,14 @@
     1.4  
     1.5  \pagestyle{myheadings}
     1.6  \renewcommand{\isamarkupheader}[1]%
     1.7 -{\section{#1}\markright{FILE~``\isabellecontext''}}
     1.8 +{{\def\isacharunderscore{\mbox{-}}%
     1.9 +\section*{#1}\markright{FILE~``\isabellecontext''}}}
    1.10  
    1.11  \begin{document}
    1.12  \input{session}
    1.13  \end{document}
    1.14  
    1.15 +%%% Local Variables:
    1.16 +%%% mode: latex
    1.17 +%%% TeX-master: t
    1.18 +%%% End: