added support for multiple binding of the same prefix (needed by the

[helm.git] / helm / ocaml / getter / sample.conf.xml

diff --git a/helm/ocaml/getter/sample.conf.xml b/helm/ocaml/getter/sample.conf.xml
index 52f383fecb58ff6f5b28c9fb0c9e61ac41eb9046..d292dfb887a610d22b5e094ed88027fe0e058980 100644 (file)
--- a/helm/ocaml/getter/sample.conf.xml
+++ b/helm/ocaml/getter/sample.conf.xml
@@ -19,6 +19,12 @@
       cic:/matita/
       file:///home/zacchiro/helm/matita/.matita/xml/matita/
     </key>
+    <!--
+    <key name="prefix">
+      cic:/universe/
+      http://localhost:9999/
+    </key>
+    -->
     <key name="prefix">
       theory:/
       file:///projects/helm/library/theories/
@@ -33,5 +39,13 @@
       http://mowgli.cs.unibo.it/~sacerdot/ida/IDA/
     </key>
     -->
+    <key name="prefix">
+      xslt:/
+      file:///projects/helm/xml/stylesheets/
+    </key>
+    <key name="prefix">
+      xslt:/
+      file:///projects/helm/xml/stylesheets_ccorn/
+    </key>
   </section>
 </helm_registry>