]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
diff --git a/helm/searchEngine/html/templateambigpdq3.html b/helm/searchEngine/html/templateambigpdq3.html
new file mode 100644 (file)
index 0000000..297182c
--- /dev/null
@@ -0,0 +1,11 @@
+<html>
+   <head>
+      <style> A { text-decoration: none } </style>
+      <SCRIPT>
+         top.templateambigpdq3_init(new Array(@NEW_ALIASES@));
+      </SCRIPT>
+   </head>
+   <body>
+      @RESULTS@
+   </body>
+</html>