# HG changeset patch
# User wenzelm
# Date 1304450323 -7200
# Node ID c31df4184ead10a31e1d9ebbbd0904b5775098a4
# Parent  2080fe35abea4e392d226e3c6606bfd0d1167451
provide \isabellestyle{itunderscore} (requires underscore.sty);

diff -r 2080fe35abea -r c31df4184ead lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Tue May 03 21:07:24 2011 +0200
+++ b/lib/texinputs/isabelle.sty	Tue May 03 21:18:43 2011 +0200
@@ -186,6 +186,14 @@
 \def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
 }
 
+\newcommand{\isabellestyleitunderscore}{%
+%requires underscore.sty
+\underscoreon%
+\isabellestyleit%
+\def\isacharunderscore{\_}%
+\def\isacharunderscorekeyword{\_}%
+}
+
 \newcommand{\isabellestylesl}{%
 \isabellestyleit%
 \def\isastyle{\small\sl}%