~

true true cic:/matita/ $(user.home)/.matita $(user.name) false

mowgli.cs.unibo.it helm matita

$(user.home)/.matita/getter/cache /projects/helm/xml/dtd cic:/ file:///projects/helm/library/coq_contribs/ cic:/matita/ file://$(user.home)/.matita/xml/matita/