]> matita.cs.unibo.it Git - helm.git/commit
added attributes
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:20:09 +0000 (09:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:20:09 +0000 (09:20 +0000)
commit7df065750ec593fb409ae8627f81927397602b9b
tree8c8831d96279b8ddfd296b633c7cbf6d6b7291d3
parentf47b833df94d134090a65653077744290438a875
added attributes
helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
helm/ocaml/cic_annotations/cicXPath.ml
helm/ocaml/cic_omdoc/cic2acic.ml
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/content2cic.ml
helm/ocaml/cic_omdoc/doubleTypeInference.ml
helm/ocaml/cic_omdoc/eta_fixing.ml