/home/sacerdot/helm/local_stuff http://localhost

mathql_db_map.txt dbname=mowgli host=mowgli.cs.unibo.it user=helm password=awH21Un

file://$(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/