X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftutorial%2FacUbc.gif;h=9222a3418585ed44c08c9d813cd7f6b8603d1d41;hb=c1fbb6fd4c98751f685a244905b4684f71399c9a;hp=5812fc8f462a99d6f138ae01d7758fca10b2bd8f;hpb=faf5a856ba919cb1eb6a24331601d57940c41eff;p=helm.git diff --git a/weblib/tutorial/acUbc.gif b/weblib/tutorial/acUbc.gif index 5812fc8f4..9222a3418 100644 Binary files a/weblib/tutorial/acUbc.gif and b/weblib/tutorial/acUbc.gif differ