]> matita.cs.unibo.it Git - helm.git/commit
fixed instance
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:21:00 +0000 (15:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 16 May 2005 15:21:00 +0000 (15:21 +0000)
commite6023677f34f426d32a1bdbe391978ea7f7c44f6
treeb210bb0864c6a9a770aa2f0bc3612e660c561027
parent63b1ff9601a54dba2bed63c2b58ec909dc162471
fixed instance
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataExtractor.ml
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli
helm/ocaml/metadata/metadataTypes.ml
helm/ocaml/metadata/metadataTypes.mli
helm/ocaml/tactics/metadataQuery.ml