]> matita.cs.unibo.it Git - helm.git/commit
Added support for NuPRL URIs.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 7 Feb 2003 12:05:57 +0000 (12:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 7 Feb 2003 12:05:57 +0000 (12:05 +0000)
commita933ca25f485ac27e662444c250b8773c73b2755
treeb884231e0671ef0e8c7784a595182f7e7b3f61f1
parent2f7288d494e3053b02d589ffcd3d54b7c595d2cc
Added support for NuPRL URIs.

Note: theory files are supported only for CIC. To be understood.
helm/http_getter/http_getter.ml
helm/http_getter/http_getter_cache.ml
helm/http_getter/http_getter_common.ml
helm/http_getter/http_getter_common.mli
helm/http_getter/http_getter_env.ml
helm/http_getter/http_getter_env.mli
helm/http_getter/http_getter_types.ml