X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_chat.html.src;h=bda0482d189ca3f47daea223ea4f69aaee9ea2b6;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=1e610b74407612185a0945c2d18ecc4afa932f0d;hpb=0aaed6f96b856d1181a3cd1f2ef3ea4a91990771;p=helm.git diff --git a/helm/searchEngine/html/moogle_chat.html.src b/helm/searchEngine/html/moogle_chat.html.src index 1e610b744..bda0482d1 100644 --- a/helm/searchEngine/html/moogle_chat.html.src +++ b/helm/searchEngine/html/moogle_chat.html.src @@ -10,7 +10,7 @@ -

Ambiguous input: @EXPRESSION@