matita.glade true
mathql_db_map.txt
mowgli.cs.unibo.it mowgli helm
dbname=mowgli host=mowgli.cs.unibo.it user=helm
remote http://mowgli.cs.unibo.it:58081/