/home/sacerdot/helm/local_stuff http://mowgli.cs.unibo.it
mowgli.cs.unibo.it helm mowgli
mathql_db_map.txt
mowgli.cs.unibo.it mowgli helm
dbname=mowgli host=mowgli.cs.unibo.it user=helm
$(users_settings.per_user_work_directory)/objects $(local_library.dir)
remote $(users_settings.daemons_host):58081/
$(users_settings.per_user_work_directory)/constanttype $(users_settings.per_user_work_directory)/environment $(users_settings.per_user_work_directory)/innertypes $(users_settings.per_user_work_directory)/currentproof $(users_settings.per_user_work_directory)/currentprooftype
$(users_settings.daemons_host):58080/