matita.cs.unibo.it Git - helm.git/history - helm/ocaml/urimanager/uriManager.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/urimanager/uriManager.ml

2005-02-01	Stefano Zacchiroli	added strip_xpointer: remove trailing #xpointer from...	blob \| commitdiff \| raw
2005-01-19	Enrico Tassi	fixed #xpointer handling in uri_of_string. new examples :	blob \| commitdiff \| raw \| diff to current
2004-10-15	Stefano Zacchiroli	moved string_of_uriref from MQueryMisc to UriManager	blob \| commitdiff \| raw \| diff to current
2004-08-05	Stefano Zacchiroli	fixed some illegal backslash escapes	blob \| commitdiff \| raw \| diff to current
2003-06-26	Claudio Sacerdoti...	relativeDepth function removed (useful only for cooking)	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-06-22	Stefano Zacchiroli	bug fix: wrapped some possible List.{hd,tl} failures...	blob \| commitdiff \| raw \| diff to current
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.