From: Stefano Zacchiroli Date: Wed, 16 Mar 2005 15:50:35 +0000 (+0000) Subject: look and feel improvements X-Git-Tag: old_htmls~2 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0768bb513c6955173a2f6b1d0c19ec516b695abe;p=helm.git look and feel improvements --- diff --git a/helm/searchEngine/html/moogle_chat2.html b/helm/searchEngine/html/moogle_chat2.html index d3253f4fa..378e683f0 100644 --- a/helm/searchEngine/html/moogle_chat2.html +++ b/helm/searchEngine/html/moogle_chat2.html @@ -4,10 +4,14 @@ Moogle_chat2 -

There are more than one possible interpretations.

-
Please choose one of the following. -
- +

+ There are several possible interpretations +

+

+ Please choose one of the following interpretations: +

+

+ @@ -16,7 +20,8 @@ @INTERPRETATIONS@

- - + + +

diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html index feddb620c..7c2193062 100644 --- a/helm/searchEngine/html/moogle_init.html +++ b/helm/searchEngine/html/moogle_init.html @@ -34,6 +34,7 @@ +