$(HOME) $(USER)
$(user.home)/.matita $(user.name)
@DBHOST@ helm matita
$(user.home)/.matita/getter/cache cic:/matita/ file://@RT_BASE_DIR@/xml/standard-library/ ro cic:/matita/ file://$(user.home)/.matita/xml/matita/ cic:/ file://@RT_BASE_DIR@/xml/legacy-library/coq/ legacy cic:/ file:///projects/helm/library/coq_contribs/ legacy