matita.glade true

mathql_db_map.txt

localhost mowgli helm

dbname=mowgli host=mowgli.cs.unibo.it user=helm

remote http://localhost:58081/