X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Ftemplateambigpdq3.html;h=e11cdb8c7de0c0dc551e2e80115e52579507b863;hb=fb783535ecfe90b6277605d8c8df395389acaf75;hp=aa6ba6b6e6fd7882e993b95682aaee6d89e9c709;hpb=fb12bdf2cf0ecbf50726b70d6a3097cb933319a0;p=helm.git diff --git a/helm/searchEngine/html/templateambigpdq3.html b/helm/searchEngine/html/templateambigpdq3.html index aa6ba6b6e..e11cdb8c7 100644 --- a/helm/searchEngine/html/templateambigpdq3.html +++ b/helm/searchEngine/html/templateambigpdq3.html @@ -6,7 +6,7 @@ for (i=0; i