]> matita.cs.unibo.it Git - helm.git/commit
moved string_of_uriref from MQueryMisc to UriManager
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 15 Oct 2004 14:08:00 +0000 (14:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 15 Oct 2004 14:08:00 +0000 (14:08 +0000)
commit9c63adaf9bd7a10eb9f7450528d7895115ee533e
tree53c00672bfca4ac492b8cfae754b069154ff1fcb
parent2d806103699acf1047d74416048adf57cc382451
moved string_of_uriref from MQueryMisc to UriManager
helm/ocaml/mathql/mQueryMisc.ml
helm/ocaml/mathql/mQueryMisc.mli
helm/ocaml/urimanager/uriManager.ml
helm/ocaml/urimanager/uriManager.mli