diff -r 0497323c1f0b -r cc8e2263be65 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Thu Oct 07 12:25:20 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Thu Oct 07 12:25:50 1999 +0200
@@ -18,16 +18,18 @@
 %section markup
 
 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
+\newcommand{\isamarkupheader}[1]{#1}
 
-\newcommand{\isamarkupheader}[1]{\isapar{\normalsize\rm #1}}
 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
 \newcommand{\isamarkupsection}[1]{\section{#1}}
 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
+\newcommand{\isamarkupverbatim}[1]{#1}
 
 \newcommand{\isamarkupsect}[1]{\section{#1}}
 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
+\newcommand{\isamarkupverb}[1]{#1}
 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}