removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
authorwenzelm
Fri May 06 17:52:08 2011 +0200 (2011-05-06)
changeset 42711159c4d1d4c42
parent 42710 84fcce345b5d
child 42712 574613b47583
removed \underscoreon which is from Larry's iman.sty, not underscore.sty;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Fri May 06 13:35:00 2011 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri May 06 17:52:08 2011 +0200
     1.3 @@ -188,7 +188,6 @@
     1.4  
     1.5  \newcommand{\isabellestyleitunderscore}{%
     1.6  %requires underscore.sty
     1.7 -\underscoreon%
     1.8  \isabellestyleit%
     1.9  \def\isacharunderscore{\_}%
    1.10  \def\isacharunderscorekeyword{\_}%