$(HOME) $(USER)

mysql://mowgli.cs.unibo.it mowgli helm none legacy file:///tmp/ dust.db helm none user file:///tmp/ dust1.db helm none library

/tmp/helm/cache /projects/helm/xml/dtd 58081 180 /projects/helm/daemons/log/http_getter.log theory:/ file:///projects/helm/library/theories/ xslt:/ file:///projects/helm/xml/stylesheets_ccorn/ xslt:/ file:///projects/helm/xml/stylesheets_hanane/ xslt:/ file:///projects/helm/xml/on-line/xslt/ xslt:/ file:///projects/helm/nuprl/NuPRL/nuprl_stylesheets/ nuprl:/ http://www.cs.uwyo.edu/~nuprl/helm-library/ cic:/ file:///projects/helm/library/coq_contribs/ xslt:/ file:///projects/helm/xml/stylesheets/ xslt:/ file:///projects/helm/xml/stylesheets/generated/ theory:/residual_theory_in_lambda_calculus/ http://helm.cs.unibo.it/~sacerdot/huet_lambda_calculus_mowgli/residual_theory_in_lambda_calculus/ theory:/IDA/ http://mowgli.cs.unibo.it/~sacerdot/ida/IDA/

html 58085 10 foo.env /projects/helm/daemons/matita/core_notation.moo /projects/helm/daemons/matita/coq.moo