lib/texinputs/isabelle.sty
changeset 58716 23a380cc45f4
parent 55365 9d5aba2baa4c
child 58868 c5e1cce7ace3
     1.1 --- a/lib/texinputs/isabelle.sty	Mon Oct 20 14:11:14 2014 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Mon Oct 20 16:52:36 2014 +0200
     1.3 @@ -9,7 +9,9 @@
     1.4  \newcommand{\isabellecontext}{UNKNOWN}
     1.5  
     1.6  \newcommand{\isastyle}{\UNDEF}
     1.7 +\newcommand{\isastylett}{\UNDEF}
     1.8  \newcommand{\isastyleminor}{\UNDEF}
     1.9 +\newcommand{\isastyleminortt}{\UNDEF}
    1.10  \newcommand{\isastylescript}{\UNDEF}
    1.11  \newcommand{\isastyletext}{\normalsize\rm}
    1.12  \newcommand{\isastyletxt}{\rm}
    1.13 @@ -46,11 +48,22 @@
    1.14  \isa@parskip\parskip\parskip0pt%
    1.15  \isaspacing\isastyle}{\par}
    1.16  
    1.17 +\newenvironment{isabellebodytt}{%
    1.18 +\isamarkuptrue\par%
    1.19 +\isa@parindent\parindent\parindent0pt%
    1.20 +\isa@parskip\parskip\parskip0pt%
    1.21 +\isaspacing\isastylett}{\par}
    1.22 +
    1.23  \newenvironment{isabelle}
    1.24  {\begin{trivlist}\begin{isabellebody}\item\relax}
    1.25  {\end{isabellebody}\end{trivlist}}
    1.26  
    1.27 +\newenvironment{isabellett}
    1.28 +{\begin{trivlist}\begin{isabellebodytt}\item\relax}
    1.29 +{\end{isabellebodytt}\end{trivlist}}
    1.30 +
    1.31  \newcommand{\isa}[1]{\emph{\isaspacing\isastyleminor #1}}
    1.32 +\newcommand{\isatt}[1]{\emph{\isaspacing\isastyleminortt #1}}
    1.33  
    1.34  \newcommand{\isaindent}[1]{\hphantom{#1}}
    1.35  \newcommand{\isanewline}{\mbox{}\par\mbox{}}
    1.36 @@ -133,7 +146,9 @@
    1.37  
    1.38  \newcommand{\isabellestyledefault}{%
    1.39  \def\isastyle{\small\tt\slshape}%
    1.40 +\def\isastylett{\small\tt}%
    1.41  \def\isastyleminor{\small\tt\slshape}%
    1.42 +\def\isastyleminortt{\small\tt}%
    1.43  \def\isastylescript{\footnotesize\tt\slshape}%
    1.44  \isachardefaults%
    1.45  }
    1.46 @@ -141,14 +156,18 @@
    1.47  
    1.48  \newcommand{\isabellestylett}{%
    1.49  \def\isastyle{\small\tt}%
    1.50 +\def\isastylett{\small\tt}%
    1.51  \def\isastyleminor{\small\tt}%
    1.52 +\def\isastyleminortt{\small\tt}%
    1.53  \def\isastylescript{\footnotesize\tt}%
    1.54  \isachardefaults%
    1.55  }
    1.56  
    1.57  \newcommand{\isabellestyleit}{%
    1.58  \def\isastyle{\small\it}%
    1.59 +\def\isastylett{\small\tt}%
    1.60  \def\isastyleminor{\it}%
    1.61 +\def\isastyleminortt{\tt}%
    1.62  \def\isastylescript{\footnotesize\it}%
    1.63  \isachardefaults%
    1.64  \def\isacharunderscorekeyword{\mbox{-}}%
    1.65 @@ -206,7 +225,9 @@
    1.66  \newcommand{\isabellestylesl}{%
    1.67  \isabellestyleit%
    1.68  \def\isastyle{\small\sl}%
    1.69 +\def\isastylett{\small\tt}%
    1.70  \def\isastyleminor{\sl}%
    1.71 +\def\isastyleminortt{\tt}%
    1.72  \def\isastylescript{\footnotesize\sl}%
    1.73  }
    1.74