]>
2006-02-02 | Stefano Zacchiroli | daemons tamed | blob | commitdiff | raw |
2005-05-26 | Claudio Sacerdoti... | 256 chars max ==> 1024 chars max (because of Coq) | blob | commitdiff | raw |
2005-05-19 | Stefano Zacchiroli | connected instance to the web search engine | blob | commitdiff | raw | diff to current |
2005-04-08 | Stefano Zacchiroli | changed logo: whelp! | blob | commitdiff | raw | diff to current |
2005-03-16 | Stefano Zacchiroli | generate HTML templates using XSLT starting from a... | blob | commitdiff | raw | diff to current |