# HG changeset patch
# User wenzelm
# Date 1304706341 -7200
# Node ID 574613b47583cdf7ff119433cabd47a3db60bc2b
# Parent  159c4d1d4c4248db334b19e5cce9f6b70cc3891d
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;

diff -r 159c4d1d4c42 -r 574613b47583 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri May 06 17:52:08 2011 +0200
+++ b/lib/texinputs/isabelle.sty	Fri May 06 20:25:41 2011 +0200
@@ -187,7 +187,6 @@
 }
 
 \newcommand{\isabellestyleitunderscore}{%
-%requires underscore.sty
 \isabellestyleit%
 \def\isacharunderscore{\_}%
 \def\isacharunderscorekeyword{\_}%