]> matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/html/moogle_syntax.html
- implemented CicPushParser which parser CIC objects using Expat
[helm.git] / helm / searchEngine / html / moogle_syntax.html
2005-04-08 Stefano Zacchirolichanged logo: whelp!
2004-12-21 Stefano Zacchiroliimproved input syntax page with example queries of...
2004-12-03 Stefano Zacchirolimoogle syntax help page, actually contains only syntax...