lib/texinputs/isabelle.sty
changeset 17158 d68bf267cbba
parent 17052 30781cc78fc6
child 17173 5616217e3cec
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Aug 28 10:08:36 2005 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Aug 28 16:04:42 2005 +0200
     1.3 @@ -49,11 +49,13 @@
     1.4  
     1.5  \newcommand{\isaindent}[1]{\hphantom{#1}}
     1.6  \newcommand{\isanewline}{\mbox{}\par\mbox{}}
     1.7 -\newcommand{\isasep}{} % override with e.g. \renewcommand{\isasep}{\vspace{1ex}}
     1.8 +\newcommand{\isasep}{}
     1.9  \newcommand{\isadigit}[1]{#1}
    1.10  
    1.11  \chardef\isacharbang=`\!
    1.12  \chardef\isachardoublequote=`\"
    1.13 +\chardef\isachardoublequoteopen=`\"
    1.14 +\chardef\isachardoublequoteclose=`\"
    1.15  \chardef\isacharhash=`\#
    1.16  \chardef\isachardollar=`\$
    1.17  \chardef\isacharpercent=`\%
    1.18 @@ -80,6 +82,8 @@
    1.19  \chardef\isacharcircum=`\^
    1.20  \chardef\isacharunderscore=`\_
    1.21  \chardef\isacharbackquote=`\`
    1.22 +\chardef\isacharbackquoteopen=`\`
    1.23 +\chardef\isacharbackquoteclose=`\`
    1.24  \chardef\isacharbraceleft=`\{
    1.25  \chardef\isacharbar=`\|
    1.26  \chardef\isacharbraceright=`\}
    1.27 @@ -129,6 +133,8 @@
    1.28  \renewcommand{\isakeywordcharunderscore}{\mbox{-}}%
    1.29  \renewcommand{\isacharbang}{\isamath{!}}%
    1.30  \renewcommand{\isachardoublequote}{}%
    1.31 +\renewcommand{\isachardoublequoteopen}{}%
    1.32 +\renewcommand{\isachardoublequoteclose}{}%
    1.33  \renewcommand{\isacharhash}{\isamath{\#}}%
    1.34  \renewcommand{\isachardollar}{\isamath{\$}}%
    1.35  \renewcommand{\isacharpercent}{\isamath{\%}}%
    1.36 @@ -156,6 +162,8 @@
    1.37  \renewcommand{\isacharbar}{\isamath{\mid}}%
    1.38  \renewcommand{\isacharbraceright}{\isamath{\}}}%
    1.39  \renewcommand{\isachartilde}{\isamath{{}\sp{\sim}}}%
    1.40 +\renewcommand{\isacharbackquoteopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}%
    1.41 +\renewcommand{\isacharbackquoteclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}%
    1.42  }
    1.43  
    1.44  \newcommand{\isabellestylesl}{%