]> matita.cs.unibo.it Git - helm.git/commit
many strings that are supposed to be URIs are now UriManager.uri
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2005 13:05:08 +0000 (13:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2005 13:05:08 +0000 (13:05 +0000)
commita7b90d2494f7d580faa54ecd2835bd4649129763
treeb319122b73ed16a54cb588d261c38a693b4b7825
parentaf2a19f653255373041b6d792ff8a74b2270eb49
many strings that are supposed to be URIs are now UriManager.uri
26 files changed:
helm/matita/matita.ml
helm/matita/matitaDisambiguator.ml
helm/matita/matitaDisambiguator.mli
helm/matita/matitaGui.ml
helm/matita/matitaMathView.ml
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/matitaTypes.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataConstraints.mli
helm/ocaml/metadata/metadataDb.ml
helm/ocaml/metadata/metadataExtractor.ml
helm/ocaml/metadata/metadataExtractor.mli
helm/ocaml/metadata/metadataPp.ml
helm/ocaml/metadata/metadataPp.mli
helm/ocaml/metadata/metadataTypes.ml
helm/ocaml/metadata/metadataTypes.mli
helm/ocaml/tactics/fwdSimplTactic.ml
helm/ocaml/tactics/hashtbl_equiv.ml
helm/ocaml/tactics/hashtbl_equiv.mli
helm/ocaml/tactics/metadataQuery.ml
helm/ocaml/tactics/metadataQuery.mli
helm/ocaml/urimanager/uriManager.ml