$(HOME) $(USER)

$(user.home)/.matita false @RT_BASE_DIR@ $(user.name)

@DBHOST@ matita helm none library @DBHOST@ matita helm none user

$(matita.basedir)/getter/cache cic:/matita/ file://$(matita.rt_base_dir)/xml/standard-library/ ro cic:/matita/ file://$(matita.basedir)/xml/matita/ cic:/ file://@RT_BASE_DIR@/xml/legacy-library/coq/ legacy cic:/ file:///projects/helm/library/coq_contribs/ legacy cic:/ http://mowgli.cs.unibo.it/xml/ legacy