lib/texinputs/isabelle.sty
changeset 8662 f9679ddbc492
parent 8512 9c5edbf5eefd
child 8713 05688a1a4f41
equal deleted inserted replaced
8661:5427f450e9da 8662:f9679ddbc492
    27 \newcommand{\isacommand}[1]{\emph{\bf #1}}
    27 \newcommand{\isacommand}[1]{\emph{\bf #1}}
    28 \newcommand{\isakeyword}[1]{\emph{\bf #1}}
    28 \newcommand{\isakeyword}[1]{\emph{\bf #1}}
    29 \newcommand{\isabeginblock}{\isakeyword{\{}}
    29 \newcommand{\isabeginblock}{\isakeyword{\{}}
    30 \newcommand{\isaendblock}{\isakeyword{\}}}
    30 \newcommand{\isaendblock}{\isakeyword{\}}}
    31 
    31 
    32 \newcommand{\isapar}[1]{%
       
    33 {\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
       
    34 \newcommand{\isamarkupheader}[1]{\section{#1}}
    32 \newcommand{\isamarkupheader}[1]{\section{#1}}
    35 
       
    36 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    33 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    37 \newcommand{\isamarkupsection}[1]{\section{#1}}
    34 \newcommand{\isamarkupsection}[1]{\section{#1}}
    38 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
    35 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
    39 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    36 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    40 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
       
    41 
       
    42 \newcommand{\isamarkupsect}[1]{\section{#1}}
    37 \newcommand{\isamarkupsect}[1]{\section{#1}}
    43 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    38 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    44 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    39 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    45 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
    40 
       
    41 \newenvironment{isapar}{\parindent\@parindent\parskip\@parskip\par\medskip}{\par\smallskip}
       
    42 \newenvironment{isamarkuptext}{\normalsize\rm\begin{isapar}}{\end{isapar}}
       
    43 \newenvironment{isamarkuptxt}{\rm\begin{isapar}}{\end{isapar}}
    46 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}
    44 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}