]> matita.cs.unibo.it Git - helm.git/commit
- use PxpHelmConf
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:08:13 +0000 (12:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:08:13 +0000 (12:08 +0000)
commit0ca429ab80f48b7dd0fe6ea9043548f5bb977577
treecc0f2a5310ebb50f1268c2362386e5440c81bb71
parent77a4eb806ae4278bf15ee2f88e53e84347c84e81
- use PxpHelmConf
- no longer use deprecated Pxp_yacc
helm/ocaml/cic_annotations/cicAnnotationParser.ml