$(HOME)

$(user.home)/.matita $(user.name)

@DBHOST@ helm matita

$(user.home)/.matita/getter/cache cic:/matita/ file://@RT_BASE_DIR@/library/ ro cic:/matita/$(user.name)/ file://$(user.home)/.matita/xml/matita/ cic:/ file://@RT_BASE_DIR@/legacy/coq/ legacy