1.1 --- a/doc-src/TutorialI/tutorial.sty	Thu May 26 10:02:01 2005 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Thu May 26 10:05:11 2005 +0200
     1.3 @@ -117,17 +117,10 @@
     1.4           \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}%
     1.5          {\par\endgroup\medbreak}
     1.6  
     1.7 -%%%% ``PROOF GENERAL'' environment: full chest
     1.8 -\def\pgchest{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pgchest}}\vss}}
     1.9 +%%%% ``PROOF GENERAL'' environment
    1.10 +\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
    1.11  \newenvironment{pgnote}{\medskip\medbreak\begingroup \clubpenalty=10000 
    1.12           \small \noindent \hangindent\parindent \hangafter=-2 
    1.13 -         \hbox to0pt{\hskip-\hangindent \pgchest\hfill}\ignorespaces}%
    1.14 -  {\par\endgroup\medbreak}
    1.15 -
    1.16 -%%%% ``PROOF GENERAL'' environment: head only
    1.17 -\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
    1.18 -\newenvironment{pgnoteh}{\medskip\medbreak\begingroup \clubpenalty=10000 
    1.19 -         \small \noindent \hangindent\parindent \hangafter=-2 
    1.20           \hbox to0pt{\hskip-\hangindent \pghead\hfill}\ignorespaces}%
    1.21    {\par\endgroup\medbreak}
    1.22