From: Stefano Zacchiroli Date: Tue, 21 Dec 2004 17:52:32 +0000 (+0000) Subject: added an hyperlink to the input syntax page X-Git-Tag: V_0_1_0~155 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=34802c576a1a1e6283adfbdba2debe3ac2e6791f;p=helm.git added an hyperlink to the input syntax page --- diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html index 22bb5412c..48980ec4b 100644 --- a/helm/searchEngine/html/moogle_help.html +++ b/helm/searchEngine/html/moogle_help.html @@ -1 +1,25 @@ -

Coming soon!

+ + + + + + + + + + + + + +

Coming soon!

+
+
+ In the meantime have a look at the + Input Syntax page + for syntax and examples. + +