Narrower version of the Proof General's head; removal of the alternative icon and environment
authorpaulson
Thu, 26 May 2005 10:05:11 +0200
changeset 1608789d0ee1fb198
parent 16086 a14371ea0779
child 16088 f084ba24de29
Narrower version of the Proof General's head; removal of the alternative icon and environment
doc-src/TutorialI/pgchest.pdf
doc-src/TutorialI/tutorial.sty
     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