]>
2004-05-28 | Claudio Sacerdoti... | No longer in use. | blob | commitdiff | raw |
2002-10-08 | Claudio Sacerdoti... | Web-services ordered by port number. | blob | commitdiff | raw |
2002-10-08 | Claudio Sacerdoti... | proofcheckerURL configuration parameter added | blob | commitdiff | raw | diff to current |
2001-10-17 | Claudio Sacerdoti... | Oooops. After the last commit all the URLs were damaged. | blob | commitdiff | raw | diff to current |
2001-10-15 | Claudio Sacerdoti... | New implementation of the graphs stuff: now every hard... | blob | commitdiff | raw | diff to current |
2001-06-20 | Claudio Sacerdoti... | UNICODEvsSYMBOL parameter now added everywhere | blob | commitdiff | raw | diff to current |
2001-03-13 | Luca Padovani | Initial revision | blob | commitdiff | raw | diff to current |