]> matita.cs.unibo.it Git - helm.git/commit
- no longer needs PXP
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 May 2005 16:03:13 +0000 (16:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 May 2005 16:03:13 +0000 (16:03 +0000)
commitdfdf5642131761008f0b0430594a83d45ab62789
tree5b503c33edea9161dc8373fa4c9e6c5bbf5af7bb
parent7045d093d2421fd69ae87e7575f48e0005e5600c
- no longer needs PXP
- added "interpolate" paramater to register iterators
helm/ocaml/METAS/meta.helm-registry.src
helm/ocaml/registry/.cvsignore
helm/ocaml/registry/.ocamlinit
helm/ocaml/registry/Makefile
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/helm_registry.mli
helm/ocaml/registry/test.ml [new file with mode: 0644]