lib/texinputs/isabelle.sty
changeset 10586 b3f386ec0fd2
parent 10470 3d5492494a4b
child 10822 d72dac8e6ef5
equal deleted inserted replaced
10585:58a1ed1edb65 10586:b3f386ec0fd2
    92 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    92 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    93 \newcommand{\isamarkupsect}[1]{\section{#1}}
    93 \newcommand{\isamarkupsect}[1]{\section{#1}}
    94 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    94 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    95 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    95 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    96 
    96 
    97 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\medskip}
    97 \newcommand{\isabeginpar}{\par\medskip}
       
    98 \newcommand{\isaendpar}{\par\medskip}
       
    99 \newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\isabeginpar}{\isaendpar}
    98 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
   100 \newenvironment{isamarkuptext}{\isastyletext\begin{isapar}}{\end{isapar}}
    99 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
   101 \newenvironment{isamarkuptxt}{\isastyletxt\begin{isapar}}{\end{isapar}}
   100 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
   102 \newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
   101 
   103 
   102 
   104