lib/texinputs/isabelle.sty
changeset 49320 94bd2fb83d11
parent 45646 02afa20cf397
child 53021 d0fa3f446b9d
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Sep 12 11:38:23 2012 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Sep 12 12:09:40 2012 +0200
     1.3 @@ -103,9 +103,6 @@
     1.4  \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
     1.5  }
     1.6  
     1.7 -\newcommand{\isaliteral}[2]{#2}
     1.8 -\newcommand{\isanil}{}
     1.9 -
    1.10  
    1.11  % keyword and section markup
    1.12  
    1.13 @@ -158,9 +155,9 @@
    1.14  \isachardefaults%
    1.15  \def\isacharunderscorekeyword{\mbox{-}}%
    1.16  \def\isacharbang{\isamath{!}}%
    1.17 -\def\isachardoublequote{\isanil}%
    1.18 -\def\isachardoublequoteopen{\isanil}%
    1.19 -\def\isachardoublequoteclose{\isanil}%
    1.20 +\def\isachardoublequote{}%
    1.21 +\def\isachardoublequoteopen{}%
    1.22 +\def\isachardoublequoteclose{}%
    1.23  \def\isacharhash{\isamath{\#}}%
    1.24  \def\isachardollar{\isamath{\$}}%
    1.25  \def\isacharpercent{\isamath{\%}}%