lib/texinputs/isabelle.sty
changeset 61463 8e46cea6a45a
parent 61461 77c9643a6353
child 61473 34d1913f0b20
     1.1 --- a/lib/texinputs/isabelle.sty	Sat Oct 17 20:27:12 2015 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sat Oct 17 21:15:10 2015 +0200
     1.3 @@ -133,6 +133,8 @@
     1.4  \newcommand{\isamarkupsection}[1]{\section{#1}}
     1.5  \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
     1.6  \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
     1.7 +\newcommand{\isamarkupparagraph}[1]{\paragraph{#1}}
     1.8 +\newcommand{\isamarkupsubparagraph}[1]{\subparagraph{#1}}
     1.9  
    1.10  \newif\ifisamarkup
    1.11  \newcommand{\isabeginpar}{\par\ifisamarkup\relax\else\medskip\fi}