From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 30 May 2003 15:18:31 +0000 (+0000)
Subject: ...
X-Git-Tag: submitted~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=403598400fe4ec1e99369088575eff8cabf8d785

...
---

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index ae81aba67..945740cf8 100644
--- a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
+++ b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
@@ -247,8 +247,8 @@ x = \frac{(x+1)*(x+1) - 1 - x*x}{2}
 \end{displaymath}
 \end{exercise}
 
-\myincludegraphics{step1}{t}{12cm}{Example session, snapshot 1.}
-  {Example session, snapshot 1.}
+\myincludegraphics{step1}{t}{12cm}{Example session.}
+  {Example session.}
 %\myincludegraphics{step2}{t}{4cm}{Example session, snapshot 2.}
 % {Example session, snapshot 2.}