]> matita.cs.unibo.it Git - helm.git/commit
more strings to UriManager.uri
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2005 13:28:22 +0000 (13:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 17 Jun 2005 13:28:22 +0000 (13:28 +0000)
commit405d288cca88e63515164a8d42d60087e305615c
tree1115a7957ca078488e6c9ae4153f75e6a46fbdee
parenta7b90d2494f7d580faa54ecd2835bd4649129763
more strings to UriManager.uri
helm/matita/matitaEngine.ml
helm/matita/matitaSync.ml
helm/ocaml/cic/cicUtil.ml
helm/ocaml/cic/cicUtil.mli
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_notation/cicNotationMatcher.ml
helm/ocaml/cic_omdoc/content.mli
helm/ocaml/cic_omdoc/content2cic.ml
helm/ocaml/cic_unification/coercGraph.ml
helm/ocaml/tactics/metadataQuery.ml