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