1 <?xml version="1.0" encoding="ISO-8859-1"?>
2 <!DOCTYPE configuration SYSTEM "configuration.dtd">
5 <helm_dir>/home/pauillac/coq3/sacerdot/HELM/V6.2/examples</helm_dir>
7 <dtd_dir>/home/pauillac/coq3/sacerdot/HELM/dtd</dtd_dir>
8 <servers_file>/home/pauillac/coq3/sacerdot/HELM/V6.2/servers.txt</servers_file>
9 <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/V6.2/urls_of_uris</uris_dbm>
10 <dest><value-of var="helm_dir"/></dest>
11 <indexname>index.txt</indexname>
14 <helm_url_path>/home/lpadovan/helm/PARSER/examples</helm_url_path>
15 <getheader_url>http://localhost/really_very_local/helm/header/getheader.xml</getheader_url>
16 <style_url>http://localhost/really_very_local/helm/style/</style_url>
17 <webeq_url>http://localhost/cgi-bin/helm/webeq.pl</webeq_url>
18 <webeqp_url>http://localhost/cgi-bin/helm/webeqp.pl</webeqp_url>
19 <use_webeqp_url>http://localhost/cgi-bin/helm/use_webeqp.pl</use_webeqp_url>
20 <html_link><value-of var="getheader_url"/>?baseurl=<value-of var="style_url"/>&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmlfile=</html_link>
21 <getter_url>http://localhost:8081/getwithtypes?url=</getter_url>