X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita-screenshot-href.png;fp=helm%2Fpapers%2Fmatita%2Fmatita-screenshot-href.png;h=699d1e14a69ca447b376b8275a6e67daf0535913;hb=b895499591c0c0fbf1576d9b52db0e399d279873;hp=0000000000000000000000000000000000000000;hpb=dd0db9bb0ea1055e92424339d66512ff1847eeb8;p=helm.git

diff --git a/helm/papers/matita/matita-screenshot-href.png b/helm/papers/matita/matita-screenshot-href.png
new file mode 100644
index 000000000..699d1e14a
Binary files /dev/null and b/helm/papers/matita/matita-screenshot-href.png differ