$(HOME) $(USER)
$(user.home)/.matita @RT_BASE_DIR@ $(user.name)
file://$(matita.basedir) user.db helm helm user
$(user.home)/.matita/getter/cache cic:/matita/ file://$(user.home)/.matita/xml/matita/