lib/texinputs/draft.tex

--- a/lib/texinputs/draft.tex	Sun Jun 13 15:30:58 2004 +0200
+++ b/lib/texinputs/draft.tex	Sun Jun 13 15:31:11 2004 +0200
@@ -12,9 +12,14 @@
 
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%
-{\section{#1}\markright{FILE~``\isabellecontext''}}
+{{\def\isacharunderscore{\mbox{-}}%
+\section*{#1}\markright{FILE~``\isabellecontext''}}}
 
 \begin{document}
 \input{session}
 \end{document}
 
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: