lib/texinputs/isabelle.sty
changeset 42514 f32500b4bc23
parent 40407 2ff10e613689
child 42663 c31df4184ead
     1.1 --- a/lib/texinputs/isabelle.sty	Sun May 01 16:56:50 2011 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun May 01 17:13:44 2011 +0200
     1.3 @@ -129,67 +129,68 @@
     1.4  \def\isabellestyle#1{\csname isabellestyle#1\endcsname}
     1.5  
     1.6  \newcommand{\isabellestyledefault}{%
     1.7 -\renewcommand{\isastyle}{\small\tt\slshape}%
     1.8 -\renewcommand{\isastyleminor}{\small\tt\slshape}%
     1.9 -\renewcommand{\isastylescript}{\footnotesize\tt\slshape}%
    1.10 +\def\isastyle{\small\tt\slshape}%
    1.11 +\def\isastyleminor{\small\tt\slshape}%
    1.12 +\def\isastylescript{\footnotesize\tt\slshape}%
    1.13  \isachardefaults%
    1.14  }
    1.15  \isabellestyledefault
    1.16  
    1.17  \newcommand{\isabellestylett}{%
    1.18 -\renewcommand{\isastyle}{\small\tt}%
    1.19 -\renewcommand{\isastyleminor}{\small\tt}%
    1.20 -\renewcommand{\isastylescript}{\footnotesize\tt}%
    1.21 +\def\isastyle{\small\tt}%
    1.22 +\def\isastyleminor{\small\tt}%
    1.23 +\def\isastylescript{\footnotesize\tt}%
    1.24  \isachardefaults%
    1.25  }
    1.26  
    1.27  \newcommand{\isabellestyleit}{%
    1.28 -\renewcommand{\isastyle}{\small\it}%
    1.29 -\renewcommand{\isastyleminor}{\it}%
    1.30 -\renewcommand{\isastylescript}{\footnotesize\it}%
    1.31 -\renewcommand{\isacharunderscorekeyword}{\mbox{-}}%
    1.32 -\renewcommand{\isacharbang}{\isamath{!}}%
    1.33 -\renewcommand{\isachardoublequote}{\isanil}%
    1.34 -\renewcommand{\isachardoublequoteopen}{\isanil}%
    1.35 -\renewcommand{\isachardoublequoteclose}{\isanil}%
    1.36 -\renewcommand{\isacharhash}{\isamath{\#}}%
    1.37 -\renewcommand{\isachardollar}{\isamath{\$}}%
    1.38 -\renewcommand{\isacharpercent}{\isamath{\%}}%
    1.39 -\renewcommand{\isacharampersand}{\isamath{\&}}%
    1.40 -\renewcommand{\isacharprime}{\isamath{\mskip2mu{'}\mskip-2mu}}%
    1.41 -\renewcommand{\isacharparenleft}{\isamath{(}}%
    1.42 -\renewcommand{\isacharparenright}{\isamath{)}}%
    1.43 -\renewcommand{\isacharasterisk}{\isamath{*}}%
    1.44 -\renewcommand{\isacharplus}{\isamath{+}}%
    1.45 -\renewcommand{\isacharcomma}{\isamath{\mathord,}}%
    1.46 -\renewcommand{\isacharminus}{\isamath{-}}%
    1.47 -\renewcommand{\isachardot}{\isamath{\mathord.}}%
    1.48 -\renewcommand{\isacharslash}{\isamath{/}}%
    1.49 -\renewcommand{\isacharcolon}{\isamath{\mathord:}}%
    1.50 -\renewcommand{\isacharsemicolon}{\isamath{\mathord;}}%
    1.51 -\renewcommand{\isacharless}{\isamath{<}}%
    1.52 -\renewcommand{\isacharequal}{\isamath{=}}%
    1.53 -\renewcommand{\isachargreater}{\isamath{>}}%
    1.54 -\renewcommand{\isacharat}{\isamath{@}}%
    1.55 -\renewcommand{\isacharbrackleft}{\isamath{[}}%
    1.56 -\renewcommand{\isacharbackslash}{\isamath{\backslash}}%
    1.57 -\renewcommand{\isacharbrackright}{\isamath{]}}%
    1.58 -\renewcommand{\isacharunderscore}{\mbox{-}}%
    1.59 -\renewcommand{\isacharbraceleft}{\isamath{\{}}%
    1.60 -\renewcommand{\isacharbar}{\isamath{\mid}}%
    1.61 -\renewcommand{\isacharbraceright}{\isamath{\}}}%
    1.62 -\renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}%
    1.63 -\renewcommand{\isacharbackquoteopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}%
    1.64 -\renewcommand{\isacharbackquoteclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}%
    1.65 -\renewcommand{\isacharverbatimopen}{\isamath{\langle\!\langle}}%
    1.66 -\renewcommand{\isacharverbatimclose}{\isamath{\rangle\!\rangle}}%
    1.67 +\def\isastyle{\small\it}%
    1.68 +\def\isastyleminor{\it}%
    1.69 +\def\isastylescript{\footnotesize\it}%
    1.70 +\isachardefaults%
    1.71 +\def\isacharunderscorekeyword{\mbox{-}}%
    1.72 +\def\isacharbang{\isamath{!}}%
    1.73 +\def\isachardoublequote{\isanil}%
    1.74 +\def\isachardoublequoteopen{\isanil}%
    1.75 +\def\isachardoublequoteclose{\isanil}%
    1.76 +\def\isacharhash{\isamath{\#}}%
    1.77 +\def\isachardollar{\isamath{\$}}%
    1.78 +\def\isacharpercent{\isamath{\%}}%
    1.79 +\def\isacharampersand{\isamath{\&}}%
    1.80 +\def\isacharprime{\isamath{\mskip2mu{'}\mskip-2mu}}%
    1.81 +\def\isacharparenleft{\isamath{(}}%
    1.82 +\def\isacharparenright{\isamath{)}}%
    1.83 +\def\isacharasterisk{\isamath{*}}%
    1.84 +\def\isacharplus{\isamath{+}}%
    1.85 +\def\isacharcomma{\isamath{\mathord,}}%
    1.86 +\def\isacharminus{\isamath{-}}%
    1.87 +\def\isachardot{\isamath{\mathord.}}%
    1.88 +\def\isacharslash{\isamath{/}}%
    1.89 +\def\isacharcolon{\isamath{\mathord:}}%
    1.90 +\def\isacharsemicolon{\isamath{\mathord;}}%
    1.91 +\def\isacharless{\isamath{<}}%
    1.92 +\def\isacharequal{\isamath{=}}%
    1.93 +\def\isachargreater{\isamath{>}}%
    1.94 +\def\isacharat{\isamath{@}}%
    1.95 +\def\isacharbrackleft{\isamath{[}}%
    1.96 +\def\isacharbackslash{\isamath{\backslash}}%
    1.97 +\def\isacharbrackright{\isamath{]}}%
    1.98 +\def\isacharunderscore{\mbox{-}}%
    1.99 +\def\isacharbraceleft{\isamath{\{}}%
   1.100 +\def\isacharbar{\isamath{\mid}}%
   1.101 +\def\isacharbraceright{\isamath{\}}}%
   1.102 +\def\isachartilde{\isamath{{}\sp{\sim}}}%
   1.103 +\def\isacharbackquoteopen{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}%
   1.104 +\def\isacharbackquoteclose{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}%
   1.105 +\def\isacharverbatimopen{\isamath{\langle\!\langle}}%
   1.106 +\def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
   1.107  }
   1.108  
   1.109  \newcommand{\isabellestylesl}{%
   1.110  \isabellestyleit%
   1.111 -\renewcommand{\isastyle}{\small\sl}%
   1.112 -\renewcommand{\isastyleminor}{\sl}%
   1.113 -\renewcommand{\isastylescript}{\footnotesize\sl}%
   1.114 +\def\isastyle{\small\sl}%
   1.115 +\def\isastyleminor{\sl}%
   1.116 +\def\isastylescript{\footnotesize\sl}%
   1.117  }
   1.118  
   1.119