lib/texinputs/isabelle.sty
changeset 7771 cc8e2263be65
parent 7758 d36c19045493
child 7788 825b8b1ad136
equal deleted inserted replaced
7770:0497323c1f0b 7771:cc8e2263be65
    16 
    16 
    17 
    17 
    18 %section markup
    18 %section markup
    19 
    19 
    20 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
    20 \newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
       
    21 \newcommand{\isamarkupheader}[1]{#1}
    21 
    22 
    22 \newcommand{\isamarkupheader}[1]{\isapar{\normalsize\rm #1}}
       
    23 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    23 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    24 \newcommand{\isamarkupsection}[1]{\section{#1}}
    24 \newcommand{\isamarkupsection}[1]{\section{#1}}
    25 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
    25 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
    26 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    26 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
    27 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
    27 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
       
    28 \newcommand{\isamarkupverbatim}[1]{#1}
    28 
    29 
    29 \newcommand{\isamarkupsect}[1]{\section{#1}}
    30 \newcommand{\isamarkupsect}[1]{\section{#1}}
    30 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    31 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
    31 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    32 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
    32 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
    33 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
       
    34 \newcommand{\isamarkupverb}[1]{#1}
    33 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}
    35 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}