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

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

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-06-29	Enrico Tassi	removed profiling function (now a stub is used instead)	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-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	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
2004-10-15	Stefano Zacchiroli	moved string_of_uriref from MQueryMisc to UriManager	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
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.