]> matita.cs.unibo.it Git - helm.git/commit
ported to latest polymorphic variant types
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Apr 2004 15:09:28 +0000 (15:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Apr 2004 15:09:28 +0000 (15:09 +0000)
commita3b2a5b4a985644c7bd7271b40b599e154d347ef
tree5396a76dd93cf5a098e659d9f619fe3ec3ca20b3
parent515c95d5d339bc457772d3dd08765b55ad140054
ported to latest polymorphic variant types
helm/http_getter/main.ml