$(user.home)/.matita
$(user.name)
@DBHOST@
helm
prove-release
$(user.home)/.matita/getter/cache
cic:/matita/
file://@RT_BASE_DIR@/xml/stantard-library/
ro
cic:/matita/
file://$(user.home)/.matita/xml/matita/
cic:/
file://@RT_BASE_DIR@/legacy-library/coq/
legacy