]> matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/html/moogle_trailer.html.src
More information is now printed when reporting errors.
[helm.git] / helm / searchEngine / html / moogle_trailer.html.src
2005-05-26 Claudio Sacerdoti... Now the links to 7 pages at a time are shown. Cool.
2005-03-16 Stefano Zacchiroligenerate HTML templates using XSLT starting from a...