]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/config.cache.pkg
Unsharing finally introduced (but just for object processing, not yet for terms
[helm.git] / helm / helm_data / config.cache.pkg
1 # This is the config.cache that holds the ``standard'' path for the
2 # HELM library. It is supposed to be used when creating packages
3
4 helm_cv_HELM_DTDS_DIR=${helm_cv_HELM_DTDS_DIR='$RESOLVED_PREFIX/share/helm/dtd'}