# 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{\_}%