--- a/lib/texinputs/isabelle.sty Fri Oct 08 15:03:47 1999 +0200
+++ b/lib/texinputs/isabelle.sty Fri Oct 08 15:04:32 1999 +0200
@@ -11,14 +11,19 @@
\newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
\newcommand{\isanewline}{\mbox{}\\\mbox{}}
+\chardef\isabraceleft=`\{
+\chardef\isabraceright=`\}
+\chardef\isatilde=`\~
+\chardef\isacircum=`\^
+\chardef\isabackslash=`\\
-% keywords
+
+% keyword and section markup
\newcommand{\isacommand}[1]{{\bf #1}}
\newcommand{\isakeyword}[1]{{\bf #1}}
-
-
-%section markup
+\newcommand{\isabeginblock}{\isakeyword{\{}}
+\newcommand{\isaendblock}{\isakeyword{\}}}
\newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
\newcommand{\isamarkupheader}[1]{#1}