X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmanual%2Fex1.jpg;fp=helm%2FsearchEngine%2Fhtml%2Fmanual%2Fex1.jpg;h=8e75c08e255feec980d69f5eb89f9442c7f747eb;hb=dedb202eeeac7293c51dbf31a302d0d3dd24af95;hp=0000000000000000000000000000000000000000;hpb=37adb260bc671a4615e2b3fa9fb1ae44999747d0;p=helm.git

diff --git a/helm/searchEngine/html/manual/ex1.jpg b/helm/searchEngine/html/manual/ex1.jpg
new file mode 100644
index 000000000..8e75c08e2
Binary files /dev/null and b/helm/searchEngine/html/manual/ex1.jpg differ