true
true
cic:/matita/
@USER_HOME@/.matita/xml
@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/