]> matita.cs.unibo.it Git - helm.git/commit - helm/http_getter/http_getter_cache.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f7288d) | patch
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
treeb884231e0671ef0e8c7784a595182f7e7b3f61f1tree | snapshot
parent2f7288d494e3053b02d589ffcd3d54b7c595d2cccommit | diff
Added support for NuPRL URIs.

Note: theory files are supported only for CIC. To be understood.
helm/http_getter/http_getter.ml diff | blob | history
helm/http_getter/http_getter_cache.ml diff | blob | history
helm/http_getter/http_getter_common.ml diff | blob | history
helm/http_getter/http_getter_common.mli diff | blob | history
helm/http_getter/http_getter_env.ml diff | blob | history
helm/http_getter/http_getter_env.mli diff | blob | history
helm/http_getter/http_getter_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.