]> matita.cs.unibo.it Git - helm.git/commit
HELM_CONFIGURATION_PREFIX added to OCaml files
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:40:47 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:40:47 +0000 (16:40 +0000)
commit7dc1b477124b604ecbe7018ac2a45765420488a5
treea6ac8a5052a65f0c185627f1f343fdb8c2800871
parentdae57ab510b31d1edd21031a3433c3c0d84631de
HELM_CONFIGURATION_PREFIX added to OCaml files
helm/interface/.depend
helm/interface/configuration.ml
helm/interface/pxpUriResolver.ml