]> matita.cs.unibo.it Git - helm.git/commit
fix for instance
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 12:50:12 +0000 (12:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 3 May 2005 12:50:12 +0000 (12:50 +0000)
commit5edfd170706c91c5d3a9d3522360b748a2dc034f
treeeb2c238f1bc4f6d1804c7191475460c7ee06a014
parent3605d724ae0b95e17e668b6e140c35ab19568bb2
fix for instance
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/metadata/.depend
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataDb.mli
helm/ocaml/tactics/metadataQuery.ml