X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2Fdepends.png;h=0a48f0e8b07cb8717e7632ed2cac93bc2b224230;hb=a4e18d465037106982d84a85194c4593dad530b8;hp=3b6104659a0445c661f5a90af70ea60f5d1330aa;hpb=c775f53f9aae44897fb13342cd9f2e7ec5e394f7;p=helm.git

diff --git a/helm/software/matita/contribs/didactic/depends.png b/helm/software/matita/contribs/didactic/depends.png
index 3b6104659..0a48f0e8b 100644
Binary files a/helm/software/matita/contribs/didactic/depends.png and b/helm/software/matita/contribs/didactic/depends.png differ