]>
2001-07-24 | Irene Schena | --------------------------------------------------... | blob | commitdiff | raw |
2001-04-05 | Ferruccio Guidi | contentlib.xsl improved, now handles eq eqT | blob | commitdiff | raw | diff to current |
2001-04-05 | Andrea Asperti | Bug nat_double_ind solved. | blob | commitdiff | raw | diff to current |
2001-03-20 | Ferruccio Guidi | added notation for arithmetics | blob | commitdiff | raw | diff to current |
2001-02-06 | Irene Schena | Modified Files: | blob | commitdiff | raw | diff to current |
2001-01-15 | Luca Padovani | added LICENSE | blob | commitdiff | raw | diff to current |
2000-12-04 | Claudio Sacerdoti... | Update to V7 after V6-2 tag creationg | blob | commitdiff | raw | diff to current |
2000-11-29 | Irene Schena | Modified Files: | blob | commitdiff | raw | diff to current |
2000-11-24 | Claudio Sacerdoti... | http_getter reimplemented from scratch | blob | commitdiff | raw | diff to current |
2000-10-31 | Claudio Sacerdoti... | Initial revision | blob | commitdiff | raw | diff to current |