helm/gTopLevel/triciclo.conf.xml.sample

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <value key="annotations.dir">file:///home/sacerdot/miohelm/objects</value>
   4   <value key="annotations.url">file:///home/sacerdot/miohelm/objects</value>
   5   <value key="getter.mode">remote</value>
   6   <!-- <value key="getter.url">http://localhost:58081/</value> -->
   7   <value key="getter.url">http://mowgli.cs.unibo.it:58081/</value>
   8   <value key="triciclo.constant_type_file">/public/sacerdot/constanttype</value>
   9   <value key="triciclo.environment_file">/public/sacerdot/environment</value>
  10   <value key="triciclo.inner_types_file">/public/sacerdot/innertypes</value>
  11   <value key="triciclo.proof_file">/public/sacerdot/currentproof</value>
  12   <value key="triciclo.proof_file_type">/public/sacerdot/currentprooftype</value>
  13   <!-- <value key="uwobo.url">http://localhost:58080/</value> -->
  14   <value key="uwobo.url">http://mowgli.cs.unibo.it:58080/</value>
  15 </helm_registry>