1 <?xml version="1.0" encoding="utf-8"?>
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>