]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/manual/frames.jpg
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / manual / frames.jpg
diff --git a/helm/searchEngine/html/manual/frames.jpg b/helm/searchEngine/html/manual/frames.jpg
new file mode 100644 (file)
index 0000000..994b7ae
Binary files /dev/null and b/helm/searchEngine/html/manual/frames.jpg differ