--- a/lib/texinputs/isabelle.sty Wed Dec 06 14:19:36 2017 +0100
+++ b/lib/texinputs/isabelle.sty Wed Dec 06 15:46:35 2017 +0100
@@ -125,6 +125,9 @@
\def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
\newcommand{\isacommand}[1]{\isakeyword{#1}}
+\newcommand{\isakeywordcontrol}[1]
+{\emph{\bf\itshape\def\isacharunderscore{\isacharunderscorekeyword}#1\,}}
+
\newcommand{\isamarkupheader}[1]{\section{#1}}
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
\newcommand{\isamarkupsection}[1]{\section{#1}}