]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c37c598) | patch
Experimental commit that implements the getalluris method, that gives back in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 May 2002 08:52:37 +0000 (08:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 May 2002 08:52:37 +0000 (08:52 +0000)
commitc2ad6c9e76a929cca23276aa0e9dbbfdd1ca469b
tree871ed202a8cca4a61b98712d2732bb31796bfc8ctree | snapshot
parentc37c59825f318b519a33387ae69caa68872e284ecommit | diff
Experimental commit that implements the getalluris method, that gives back in
XML all the known uris whose prefix is cic and whose suffix is not .types.
Useful to implement the locate query with galax.
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.