/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/