X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2Fdepends.png;h=ed54ff73b2fc1a8cf2c3823aef3caeb82224659f;hb=4257ad7d31bc2db6c40ad55878f190963e51c1ec;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..ed54ff73b 100644
Binary files a/helm/software/matita/contribs/didactic/depends.png and b/helm/software/matita/contribs/didactic/depends.png differ