]> matita.cs.unibo.it Git - helm.git/commit
added generation og disambiguator META (future name of cic_textual_parser2)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 16:27:56 +0000 (16:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 16:27:56 +0000 (16:27 +0000)
commit5b493dc2698d1f971484df9962089523e525ec3d
tree148ba4f02e54b8b91a4f1395eddb0e211bb4bcfd
parentcd602bc57c4ceba6188b4cac0dbf5dad8f5df7b6
added generation og disambiguator META (future name of cic_textual_parser2)
helm/ocaml/Makefile.in