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/