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/