]>
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 | added clickable fingers | 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 | look and feel improvements | blob | commitdiff | raw | diff to current |
2004-06-22 | Stefano Zacchiroli | ugliness changes: | blob | commitdiff | raw | diff to current |
2004-06-16 | Andrea Asperti | first moogle commit | blob | commitdiff | raw | diff to current |