lib/texinputs/isabelle.sty
changeset 10118 68d6c5b336c1
parent 10053 ef58424d7893
child 10188 2899182af616
equal deleted inserted replaced
10117:8e58b3045e29 10118:68d6c5b336c1
    83 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    83 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    84 \newcommand{\isamarkupsect}[1]{\section{#1}}
    84 \newcommand{\isamarkupsect}[1]{\section{#1}}
    85 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    85 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    86 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    86 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    87 
    87 
    88 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\smallskip}
    88 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\medskip}
    89 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
    89 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
    90 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
    90 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
    91 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
    91 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
    92 
    92 
    93 
    93