doc-src/AxClass/generated/isabelle.sty
changeset 10588 3a1755b37757
parent 10510 d243553849ec
child 10861 f2ffa2d97533
equal deleted inserted replaced
10587:0db92bf1923e 10588:3a1755b37757
    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