wneuper/isa: lib/texinputs/isabelle.sty@ae32be343647

     1 %%

     2 %% $Id$

     3 %%

     4 %% macros for Isabelle generated LaTeX output

     5 %%

     7 %%% Simple document preparation (based on theory token language)

     9 % basic environment

    11 \newcommand{\isabellestyle}{}

    12 \newenvironment{isabelle}{%

    13 \newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%

    14 \newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%

    15 \small\tt\slshape\isabellestyle\mbox{}}{}

    16 \newcommand{\isanewline}{\mbox{}\\\mbox{}}

    18 \chardef\isabraceleft=`\{

    19 \chardef\isabraceright=`\}

    20 \chardef\isatilde=`\~

    21 \chardef\isacircum=`\^

    22 \chardef\isabackslash=`\\

    25 % keyword and section markup

    27 \newcommand{\isacommand}[1]{\emph{\bf #1}}

    28 \newcommand{\isakeyword}[1]{\emph{\bf #1}}

    29 \newcommand{\isabeginblock}{\isakeyword{\{}}

    30 \newcommand{\isaendblock}{\isakeyword{\}}}

    32 \newcommand{\isapar}[1]{%

    33 {\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}

    34 \newcommand{\isamarkupheader}[1]{#1}

    36 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}

    37 \newcommand{\isamarkupsection}[1]{\section{#1}}

    38 \newcommand{\isamarkupsubsection}[1]{\subsection{#1}}

    39 \newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}

    40 \newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}

    42 \newcommand{\isamarkupsect}[1]{\section{#1}}

    43 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}

    44 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}

    45 \newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}

    46 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}

author	wenzelm
	Wed, 15 Mar 2000 18:50:14 +0100
changeset 8474	ae32be343647
parent 8232	6b19ee96546c
child 8489	bb41d88f7df5
permissions	-rw-r--r--