]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93e7f6e) | patch
fixed #xpointer handling in uri_of_string. new examples :
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Jan 2005 15:26:12 +0000 (15:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 19 Jan 2005 15:26:12 +0000 (15:26 +0000)
commit17b586f742e5c58501d62c81b6c517f5ba039f1d
tree519989d8bedd73690886044ab76dfc1e7d79db99tree | snapshot
parent93e7f6e653ae9e6e17d054ccd3b9aaf801e13bcfcommit | diff
fixed #xpointer handling in uri_of_string. new examples :

"cic:/a/b/c.con" => [| "cic:/a" ; "cic:/a/b" ; "cic:/a/b/c.con" ; "c"; "" |]

"cic:/a/b/c.ind#xpointer(1/1)" =>
  [| "cic:/a" ; "cic:/a/b" ; "cic:/a/b/c.con" ; "c"; "#xpointer(1/1)" |]

"cic:/a/b/c.ind#xpointer(1/1/1)" =>
  [| "cic:/a" ; "cic:/a/b" ; "cic:/a/b/c.con" ; "c"; "#xpointer(1/1/1)" |]
helm/ocaml/urimanager/uriManager.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.