X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_syntax.html;h=7fa0fe380b459b552c393988efbd9325328d4fd5;hb=24054502870f60c8847de9e7a8db6c37fbe8cc99;hp=2d783940986ffbe95e3b9b007039a0e435297db4;hpb=80dac1feac6f058f6beb0a5ffbddf3a5139fa336;p=helm.git diff --git a/helm/searchEngine/html/moogle_syntax.html b/helm/searchEngine/html/moogle_syntax.html index 2d7839409..7fa0fe380 100644 --- a/helm/searchEngine/html/moogle_syntax.html +++ b/helm/searchEngine/html/moogle_syntax.html @@ -11,12 +11,12 @@
- ![]() ![]() |
- Moogle Input Syntax+Whelp Input Syntax
|