/home/sacerdot/helm/local_stuff
http://localhost
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/