# HG changeset patch
# User wenzelm
# Date 955720540 -7200
# Node ID 05688a1a4f41a4663c489d43ff3bc5e6a24bfb56
# Parent  cbc02c7d82297bf4bcc5b48923ce2d8235b25859
global \isa@parindent, \isa@parskip;
\newcommand{\isa};

diff -r cbc02c7d8229 -r 05688a1a4f41 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Apr 14 01:14:51 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Apr 14 15:55:40 2000 +0200
@@ -6,13 +6,19 @@
 
 %%% Simple document preparation (based on theory token language)
 
-% basic environment
+% basic isabelle environment
 
+\newcommand{\isabelledefaultstyle}{\small\tt\slshape}
 \newcommand{\isabellestyle}{}
+
+\newdimen\isa@parindent\newdimen\isa@parskip
 \newenvironment{isabelle}{%
-\newdimen\@parindent\@parindent\parindent\parindent0pt%
-\newdimen\@parskip\@parskip\parskip\parskip0pt%
-\small\tt\slshape\isabellestyle}{}
+\isa@parindent\parindent\parindent0pt%
+\isa@parskip\parskip\parskip0pt%
+\isabelledefaultstyle\isabellestyle}{}
+
+\newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
+
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
 
 \chardef\isabraceleft=`\{
@@ -38,7 +44,7 @@
 \newcommand{\isamarkupsubsect}[1]{\subsection{#1}}
 \newcommand{\isamarkupsubsubsect}[1]{\subsubsection{#1}}
 
-\newenvironment{isapar}{\parindent\@parindent\parskip\@parskip\par\medskip}{\par\smallskip}
+\newenvironment{isapar}{\parindent\isa@parindent\parskip\isa@parskip\par\medskip}{\par\smallskip}
 \newenvironment{isamarkuptext}{\normalsize\rm\begin{isapar}}{\end{isapar}}
 \newenvironment{isamarkuptxt}{\rm\begin{isapar}}{\end{isapar}}
 \newcommand{\isamarkupcmt}[1]{{\rm--- #1}}