# HG changeset patch
# User paulson
# Date 1117094711 -7200
# Node ID 89d0ee1fb19816501fb8aba42ab277f4e329be4f
# Parent  a14371ea0779ade93dcf03e635ee5d610de3b78d
Narrower version of the Proof General's head; removal of the alternative icon and environment

diff -r a14371ea0779 -r 89d0ee1fb198 doc-src/TutorialI/pgchest.pdf
Binary file doc-src/TutorialI/pgchest.pdf has changed
diff -r a14371ea0779 -r 89d0ee1fb198 doc-src/TutorialI/tutorial.sty
--- 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}