# HG changeset patch # User wenzelm # Date 1304697128 -7200 # Node ID 159c4d1d4c4248db334b19e5cce9f6b70cc3891d # Parent 84fcce345b5d25971e469f1bc9954e935b0ff5b0 removed \underscoreon which is from Larry's iman.sty, not underscore.sty; diff -r 84fcce345b5d -r 159c4d1d4c42 lib/texinputs/isabelle.sty --- a/lib/texinputs/isabelle.sty Fri May 06 13:35:00 2011 +0200 +++ b/lib/texinputs/isabelle.sty Fri May 06 17:52:08 2011 +0200 @@ -188,7 +188,6 @@ \newcommand{\isabellestyleitunderscore}{% %requires underscore.sty -\underscoreon% \isabellestyleit% \def\isacharunderscore{\_}% \def\isacharunderscorekeyword{\_}%