]> matita.cs.unibo.it Git - helm.git/history - helm/http_getter
getheader.xml setheader.xsl : fix del bug bruttissimo
[helm.git] / helm / http_getter /
2000-11-24 Luca PadovaniModified Files:
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch
2000-11-17 Claudio Sacerdoti... Some bugs fixed
2000-11-17 Claudio Sacerdoti... isterix file added
2000-11-17 Claudio Sacerdoti... Initial revision