- xml_dbm rdf_dbm xsl_dbm xml_index rdf_index xsl_index
- xml_dir rdf_dir dtd_dir servers_file host port
- my_own_url dtd_base_url
+ version xml_dbm rdf_dbm xsl_dbm xml_index rdf_index xsl_index
+ xml_dir rdf_dir dtd_dir servers_file host port my_own_url dtd_base_url