X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Ftemplateambigpdq1.html;h=395283ae3bc24ab178c48378c7377a474f3e8d4e;hb=9543a355016ed3c2abc5e75e4e5d24e8f4d9bb3a;hp=d5fa12260c9925f9be81dbb7c8c0c8632545e9be;hpb=524d98c48e119440423b449127ae05415ee48753;p=helm.git
diff --git a/helm/searchEngine/html/templateambigpdq1.html b/helm/searchEngine/html/templateambigpdq1.html
index d5fa12260..395283ae3 100644
--- a/helm/searchEngine/html/templateambigpdq1.html
+++ b/helm/searchEngine/html/templateambigpdq1.html
@@ -1,80 +1,22 @@
@TITLE@
+
-
Please select one or more of the following.
-
+
Please select one or more of the following.
+