Narrower version of the Proof General's head; removal of the alternative icon and environment
1.1 Binary file doc-src/TutorialI/pgchest.pdf has changed
2.1 --- a/doc-src/TutorialI/tutorial.sty Thu May 26 10:02:01 2005 +0200
2.2 +++ b/doc-src/TutorialI/tutorial.sty Thu May 26 10:05:11 2005 +0200
2.3 @@ -117,17 +117,10 @@
2.4 \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}%
2.5 {\par\endgroup\medbreak}
2.6
2.7 -%%%% ``PROOF GENERAL'' environment: full chest
2.8 -\def\pgchest{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pgchest}}\vss}}
2.9 +%%%% ``PROOF GENERAL'' environment
2.10 +\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
2.11 \newenvironment{pgnote}{\medskip\medbreak\begingroup \clubpenalty=10000
2.12 \small \noindent \hangindent\parindent \hangafter=-2
2.13 - \hbox to0pt{\hskip-\hangindent \pgchest\hfill}\ignorespaces}%
2.14 - {\par\endgroup\medbreak}
2.15 -
2.16 -%%%% ``PROOF GENERAL'' environment: head only
2.17 -\def\pghead{\lower3pt\vbox to 0pt{\vss\hbox{\includegraphics[width=12pt]{pghead}}\vss}}
2.18 -\newenvironment{pgnoteh}{\medskip\medbreak\begingroup \clubpenalty=10000
2.19 - \small \noindent \hangindent\parindent \hangafter=-2
2.20 \hbox to0pt{\hskip-\hangindent \pghead\hfill}\ignorespaces}%
2.21 {\par\endgroup\medbreak}
2.22