]> matita.cs.unibo.it Git - helm.git/commit
xml:base and helm:base are now generated only for theories.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 May 2004 09:16:31 +0000 (09:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 May 2004 09:16:31 +0000 (09:16 +0000)
commit3fd8583f198e7e09995c3a65b5f05a853c8d1646
treef41d9eb934a988d36b700c983ab46f353b038840
parentc25a2152b1ebb7e9833db7c705e257068d89057a
xml:base and helm:base are now generated only for theories.
helm/ocaml/getter/http_getter_cache.ml
helm/ocaml/getter/http_getter_common.mli