$(user.home)/.matita
@RT_BASE_DIR@
$(user.name)
file://$(matita.rt_base_dir) metadata.db helm helm library
file://$(matita.basedir) user.db helm helm user
$(user.home)/.matita/getter/cache
cic:/matita/
file://$(matita.rt_base_dir)/xml/standard-library/
ro
cic:/matita/
file://$(user.home)/.matita/xml/matita/