]> matita.cs.unibo.it Git - helm.git/commit
- use PxpHelmConf
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:06:56 +0000 (12:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:06:56 +0000 (12:06 +0000)
commitbbff1250ea4a6c74151ef00340983f2547b2e912
tree232fd50d095a56b665cadf0d4bb7ddf54550a415
parentcc6e7ad571d40a88686427bd75e0fa38c0fa120b
- use PxpHelmConf
- removed references to deprecated Pxp_yacc module
helm/ocaml/getter/Makefile
helm/ocaml/getter/http_getter.ml