X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Floc_obj.html;fp=helm%2FsearchEngine%2Fhtml%2Floc_obj.html;h=b6b5222e329362b965e0af39da37f9d85d480e68;hb=dedb202eeeac7293c51dbf31a302d0d3dd24af95;hp=0000000000000000000000000000000000000000;hpb=37adb260bc671a4615e2b3fa9fb1ae44999747d0;p=helm.git diff --git a/helm/searchEngine/html/loc_obj.html b/helm/searchEngine/html/loc_obj.html new file mode 100644 index 000000000..b6b5222e3 --- /dev/null +++ b/helm/searchEngine/html/loc_obj.html @@ -0,0 +1,29 @@ + + + + + +
+ +Insert here the name of the object you want to search. +
+ +
+ +