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

[helm.git] / helm / ocaml / urimanager / uriManager.ml

2005-09-23	Enrico Tassi	added support for universes uri ".univ"	blob \| commitdiff \| raw
2005-09-21	Enrico Tassi	clean_and_fill optimization	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	added uri_is_ind	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	uri_of_string now checks the uri is well formed	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	buri_of_uri is now #xpointer aware.	blob \| commitdiff \| raw \| diff to current
2005-06-24	Claudio Sacerdoti...	Small improvement in extracting suffixes.	blob \| commitdiff \| raw \| diff to current
2005-06-24	Claudio Sacerdoti...	New functions UriManager.uri_is_var, UriManager.uri_is_con.	blob \| commitdiff \| raw \| diff to current
2005-06-24	Claudio Sacerdoti...	debugging printf removed	blob \| commitdiff \| raw \| diff to current
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	fixed classical non-C programmer misunderstooding of...	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2005-02-01	Stefano Zacchiroli	added strip_xpointer: remove trailing #xpointer from...	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom