lib/texinputs/isabelle.sty
author wenzelm
Wed Oct 06 18:14:26 1999 +0200 (1999-10-06)
changeset 7758 d36c19045493
parent 7752 7ee322caf59c
child 7771 cc8e2263be65
permissions -rw-r--r--
tuned markup commands;
wenzelm@7709
     1
%%
wenzelm@7709
     2
%% $Id$
wenzelm@7709
     3
%%
wenzelm@7709
     4
%% macros for Isabelle generated LaTeX output
wenzelm@7709
     5
%%
wenzelm@7709
     6
wenzelm@7709
     7
%%% Simple document preparation (based on theory token language)
wenzelm@7709
     8
wenzelm@7752
     9
%basic environment
wenzelm@7709
    10
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
wenzelm@7709
    11
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
wenzelm@7752
    12
wenzelm@7752
    13
%keywords
wenzelm@7709
    14
\newcommand{\isacommand}[1]{{\bf #1}}
wenzelm@7709
    15
\newcommand{\isakeyword}[1]{{\bf #1}}
wenzelm@7752
    16
wenzelm@7758
    17
wenzelm@7758
    18
%section markup
wenzelm@7758
    19
wenzelm@7758
    20
\newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
wenzelm@7758
    21
wenzelm@7758
    22
\newcommand{\isamarkupheader}[1]{\isapar{\normalsize\rm #1}}
wenzelm@7752
    23
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
wenzelm@7752
    24
\newcommand{\isamarkupsection}[1]{\section{#1}}
wenzelm@7752
    25
\newcommand{\isamarkupsubsection}[1]{\subsection{#1}}
wenzelm@7752
    26
\newcommand{\isamarkupsubsubsection}[1]{\subsubsection{#1}}
wenzelm@7758
    27
\newcommand{\isamarkuptext}[1]{\isapar{\normalsize\rm #1}}
wenzelm@7752
    28
wenzelm@7752
    29
\newcommand{\isamarkupsect}[1]{\section{#1}}
wenzelm@7752
    30
\newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
wenzelm@7752
    31
\newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
wenzelm@7758
    32
\newcommand{\isamarkuptxt}[1]{\isapar{\rm #1}}
wenzelm@7758
    33
\newcommand{\isamarkupcmt}[1]{{\rm--- #1}}