lib/texinputs/draft.tex
changeset 58870 e2c0d8ef29cb
parent 40893 7d88ebdce380
     1.1 --- a/lib/texinputs/draft.tex	Sun Nov 02 16:05:43 2014 +0100
     1.2 +++ b/lib/texinputs/draft.tex	Sun Nov 02 16:09:35 2014 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  \usepackage{textcomp}
     1.5  
     1.6  \pagestyle{myheadings}
     1.7 -\renewcommand{\isamarkupheader}[1]%
     1.8 +\newcommand{\isamarkupfile}[1]%
     1.9  {{\def\isacharunderscore{\mbox{-}}%
    1.10  \section*{#1}\markright{FILE~``\isabellecontext''}}}
    1.11