X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fconfiguration.xml;fp=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fconfiguration.xml;h=89dbae7712e6cc7c2826d6e0935d39a61ba73a79;hb=fb7e3a7d91412c696914828377cfce3909351a3f;hp=1e4594bf1f7ee03543cfc967c5ed8143f5571419;hpb=d793e3f1a4e201912ac4917b7ae2934537953130;p=helm.git

diff --git a/helm/configuration/local/etc/helm/configuration.xml b/helm/configuration/local/etc/helm/configuration.xml
index 1e4594bf1..89dbae771 100644
--- a/helm/configuration/local/etc/helm/configuration.xml
+++ b/helm/configuration/local/etc/helm/configuration.xml
@@ -2,11 +2,11 @@
 <!DOCTYPE configuration SYSTEM "configuration.dtd">
 
 <configuration>
- <helm_dir>/home/pauillac/coq3/sacerdot/HELM/interface/examples</helm_dir>
+ <helm_dir>/home/pauillac/coq3/sacerdot/HELM/interface/V6.2/examples</helm_dir>
 
  <dtd_dir><value-of var="helm_dir"/>/dtd</dtd_dir>
- <servers_file>/home/pauillac/coq3/sacerdot/HELM/interface/servers.txt</servers_file>
- <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/interface/urls_of_uris</uris_dbm>
+ <servers_file>/home/pauillac/coq3/sacerdot/HELM/interface/V6.2/servers.txt</servers_file>
+ <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/interface/V6.2/urls_of_uris</uris_dbm>
  <dest><value-of var="helm_dir"/></dest>
  <indexname>index.txt</indexname>
  <tmpdir>/tmp</tmpdir>