file:///home/sacerdot/miohelm/objects
file:///home/sacerdot/miohelm/objects
remote
http://mowgli.cs.unibo.it:58081/
/public/sacerdot/constanttype
/public/sacerdot/environment
/public/sacerdot/innertypes
/public/sacerdot/currentproof
/public/sacerdot/currentprooftype
http://mowgli.cs.unibo.it:58080/