]> matita.cs.unibo.it Git - helm.git/commit
removed no longer used METAs
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:22:21 +0000 (15:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:22:21 +0000 (15:22 +0000)
commit771ee8b9d122fa963881c876e86f90531bb7434f
tree7dd98283aca128f349b21671fa5126e12d7784a4
parentcf59c0f6b6e082b49caaf7ba3745e08b1a845be5
removed no longer used METAs
helm/ocaml/METAS/meta.helm-cic_annotations.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_annotations_cache.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_cache.src [deleted file]
helm/ocaml/METAS/meta.helm-cic_textual_parser.src [deleted file]
helm/ocaml/METAS/meta.helm-hbugs.src [deleted file]
helm/ocaml/METAS/meta.helm-pxp.src [deleted file]
helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src [deleted file]