]> matita.cs.unibo.it Git - helm.git/commit
removed dependency on cicPxpParser
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 11:15:26 +0000 (11:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Jun 2005 11:15:26 +0000 (11:15 +0000)
commit487c82255bf634b6e5c04cb257f41ff65a85169e
tree4c003e1ae8fd153af27d759c1822c88ecd4348eb
parentb6c8b96f5db84019503c805f7e1d6d5e9aff138e
removed dependency on cicPxpParser
helm/ocaml/cic/.depend
helm/ocaml/cic/Makefile