lib/texinputs/isabelle.sty
changeset 42712 574613b47583
parent 42711 159c4d1d4c42
child 43321 0e79cd0b315f
     1.1 --- a/lib/texinputs/isabelle.sty	Fri May 06 17:52:08 2011 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri May 06 20:25:41 2011 +0200
     1.3 @@ -187,7 +187,6 @@
     1.4  }
     1.5  
     1.6  \newcommand{\isabellestyleitunderscore}{%
     1.7 -%requires underscore.sty
     1.8  \isabellestyleit%
     1.9  \def\isacharunderscore{\_}%
    1.10  \def\isacharunderscorekeyword{\_}%