]> matita.cs.unibo.it Git - helm.git/commit
added support for cic_textual_parser2 module
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 08:55:00 +0000 (08:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 08:55:00 +0000 (08:55 +0000)
commit0386e72a92dea47cb86356e71698bab3ecb65c51
tree27646fd504e4df107ca4270365489327b53f391a
parent0148419c577eab74538b8e2564a64e399d8bdd65
added support for cic_textual_parser2 module
helm/ocaml/.cvsignore
helm/ocaml/META.helm-cic_textual_parser2.src [new file with mode: 0644]
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in