]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_help.html
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ugliness changes:
[helm.git] / helm / searchEngine / html / moogle_help.html
1 <html><body><table align="center"><tr><td><img align="center" src="http://helm.cs.unibo.it/moogle.png" alt="moogle" /></td></tr><tr><td>&nbsp;</td></tr><tr><td align="center"><h2>Coming soon!</h2></td></tr></table></body></html>
Unnamed repository; edit this file 'description' to name the repository.