X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;h=0000000000000000000000000000000000000000;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=5260da7b88e5d709e59a9e0623a45fc6d89a1fb5;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html deleted file mode 100644 index 5260da7b8..000000000 --- a/helm/searchEngine/html/moogle_init.html +++ /dev/null @@ -1,106 +0,0 @@ - - - -Whelp search - - - - - - - - -
- - - - - - - - - - - - - - -HINT - -ELIM -LOCATE -PATTERN MATCHING -WOUNDERFUL - - -
- whelp -
-
- - - - - - - - - - -
- -
- - - - - - 		- - Help
- Input Syntax - -
- -
- -@RESULTS@ - - - -