# HG changeset patch
# User wenzelm
# Date 953142614 -3600
# Node ID ae32be343647f56abf55c8c90ee1d779696d4054
# Parent  2798d2f71ec2cfd6e9fbb30ceb7799f28787c037
renamed isabelle env;
proper handling of parindent/parskip;

diff -r 2798d2f71ec2 -r ae32be343647 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Wed Mar 15 18:47:28 2000 +0100
+++ b/lib/texinputs/isabelle.sty	Wed Mar 15 18:50:14 2000 +0100
@@ -8,8 +8,11 @@
 
 % basic environment
 
-\newcommand{\isabellesimplestyle}{}
-\newenvironment{isabellesimple}{\small\tt\slshape\isabellesimplestyle\mbox{}}{}
+\newcommand{\isabellestyle}{}
+\newenvironment{isabelle}{%
+\newdimen\outerparindent\outerparindent=\parindent\parindent=0pt%
+\newdimen\outerparskip\outerparskip=\parskip\parskip=0.5ex%
+\small\tt\slshape\isabellestyle\mbox{}}{}
 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
 
 \chardef\isabraceleft=`\{
@@ -26,7 +29,8 @@
 \newcommand{\isabeginblock}{\isakeyword{\{}}
 \newcommand{\isaendblock}{\isakeyword{\}}}
 
-\newcommand{\isapar}[1]{{\par\medskip #1\par\smallskip}}
+\newcommand{\isapar}[1]{%
+{\parindent=\outerparindent\parskip=\outerparskip\par\medskip #1}\par\smallskip}
 \newcommand{\isamarkupheader}[1]{#1}
 
 \newcommand{\isamarkupchapter}[1]{\chapter{#1}}