Narrower version of the Proof General's head; removal of the alternative icon and environment

Binary file doc-src/TutorialI/pgchest.pdf has changed

--- a/doc-src/TutorialI/tutorial.sty	Thu May 26 10:02:01 2005 +0200
+++ b/doc-src/TutorialI/tutorial.sty	Thu May 26 10:05:11 2005 +0200
@@ -117,17 +117,10 @@
          \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}%
         {\par\endgroup\medbreak}
 
-%%%% ``PROOF GENERAL'' environment: full chest
-\def\pgchest{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pgchest}}\vss}}
+%%%% ``PROOF GENERAL'' environment
+\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
 \newenvironment{pgnote}{\medskip\medbreak\begingroup \clubpenalty=10000 
          \small \noindent \hangindent\parindent \hangafter=-2 
-         \hbox to0pt{\hskip-\hangindent \pgchest\hfill}\ignorespaces}%
-  {\par\endgroup\medbreak}
-
-%%%% ``PROOF GENERAL'' environment: head only
-\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
-\newenvironment{pgnoteh}{\medskip\medbreak\begingroup \clubpenalty=10000 
-         \small \noindent \hangindent\parindent \hangafter=-2 
          \hbox to0pt{\hskip-\hangindent \pghead\hfill}\ignorespaces}%
   {\par\endgroup\medbreak}