--- a/doc-src/TutorialI/isabelle.sty Tue Aug 29 00:57:24 2000 +0200
+++ b/doc-src/TutorialI/isabelle.sty Tue Aug 29 11:52:16 2000 +0200
@@ -16,10 +16,14 @@
\newdimen\isa@parindent\newdimen\isa@parskip
-\newenvironment{isabelle}{%
-\trivlist\isa@parindent\parindent\parindent0pt%
+\newenvironment{isabellebody}{%
+\isa@parindent\parindent\parindent0pt%
\isa@parskip\parskip\parskip0pt%
-\isastyle\item\relax}{\endtrivlist}
+\isastyle}{}
+
+\newenvironment{isabelle}
+{\begin{isabellebody}\begin{trivlist}\item\relax}
+{\end{trivlist}\end{isabellebody}}
\newcommand{\isa}[1]{\emph{\isastyleminor #1}}
@@ -62,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}}
@@ -90,6 +95,7 @@
\newcommand{\isabellestyleit}{%
\renewcommand{\isastyle}{\small\it}%
\renewcommand{\isastyleminor}{\it}%
+\renewcommand{\isakeywordcharunderscore}{-}%
%\renewcommand{\isadigit}[1]{\emph{$##1$}}
\renewcommand{\isacharbang}{\emph{$!$}}%
\renewcommand{\isachardoublequote}{}%