Note that:
exactly one 'user' db must be specified
- exactly one 'library' db must be specified
+ exactly one 'library' db can be specified
exactly one 'legacy' db can be specified
-->
(e.g. the Matita standard library)
"legacy" implies "ro"
-->
- <key name="prefix">
- cic:/matita/
- file:///projects/helm/library/matita_contribs/matita
- ro
- </key>
<key name="prefix">
cic:/matita/
file://$(matita.rt_base_dir)/xml/standard-library/