# HG changeset patch
# User wenzelm
# Date 967503201 -7200
# Node ID 159469a85035c0b8c8d533129052aeeb6da6ab98
# Parent  2d0ee9612ef10376ddb5297525f67f4c73bf2b5a
\isakeywordcharunderscore;

diff -r 2d0ee9612ef1 -r 159469a85035 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Tue Aug 29 00:52:57 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Tue Aug 29 00:53:21 2000 +0200
@@ -66,8 +66,9 @@
 
 % keyword and section markup
 
+\newcommand{\isakeywordcharunderscore}{\_}
 \newcommand{\isakeyword}[1]
-{\emph{\bf\def\isachardot{.}\def\isacharunderscore{-}%
+{\emph{\bf\def\isachardot{.}\def\isacharunderscore{\isakeywordcharunderscore}%
 \def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
 \newcommand{\isacommand}[1]{\isakeyword{#1}}
 
@@ -94,6 +95,7 @@
 \newcommand{\isabellestyleit}{%
 \renewcommand{\isastyle}{\small\it}%
 \renewcommand{\isastyleminor}{\it}%
+\renewcommand{\isakeywordcharunderscore}{-}%
 %\renewcommand{\isadigit}[1]{\emph{$##1$}}
 \renewcommand{\isacharbang}{\emph{$!$}}%
 \renewcommand{\isachardoublequote}{}%