no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
authorwenzelm
Fri May 06 20:25:41 2011 +0200 (2011-05-06)
changeset 42712574613b47583
parent 42711 159c4d1d4c42
child 42713 276c8cbeb5d2
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
lib/texinputs/isabelle.sty
     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{\_}%