lib/texinputs/isabelle.sty
changeset 67146 909dcdec2122
parent 67139 8fe0aba577af
child 67151 d1ace598c026
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Dec 06 14:19:36 2017 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Dec 06 15:46:35 2017 +0100
     1.3 @@ -125,6 +125,9 @@
     1.4  \def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
     1.5  \newcommand{\isacommand}[1]{\isakeyword{#1}}
     1.6  
     1.7 +\newcommand{\isakeywordcontrol}[1]
     1.8 +{\emph{\bf\itshape\def\isacharunderscore{\isacharunderscorekeyword}#1\,}}
     1.9 +
    1.10  \newcommand{\isamarkupheader}[1]{\section{#1}}
    1.11  \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    1.12  \newcommand{\isamarkupsection}[1]{\section{#1}}