]> matita.cs.unibo.it Git - helm.git/commit
- use PxpHelmConf
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:08:35 +0000 (12:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:08:35 +0000 (12:08 +0000)
commitc428cf3c7e3652e0674610d87b675accd21fa427
treeae1a786694c6c8cefd38c98ed82ae73ad787bb7b
parent0ca429ab80f48b7dd0fe6ea9043548f5bb977577
- use PxpHelmConf
- no longer use deprecated Pxp_yacc module
helm/ocaml/cic/cicParser.ml