matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/gTopLevel.conf.xml.sample

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/gTopLevel.conf.xml.sample

2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	blob \| commitdiff \| raw
2004-04-28	Stefano Zacchiroli	removed file:// prefix from local_library key, hopefull...	blob \| commitdiff \| raw \| diff to current
2004-04-22	Claudio Sacerdoti...	mysql_connection.* keys added	blob \| commitdiff \| raw \| diff to current
2004-04-01	Stefano Zacchiroli	removed no longer needed password from connection string	blob \| commitdiff \| raw \| diff to current
2004-02-26	Ferruccio Guidi	- MySQL mode added to the interpreter	blob \| commitdiff \| raw \| diff to current
2004-02-20	Ferruccio Guidi	- mathql interpreter flags reorganized	blob \| commitdiff \| raw \| diff to current
2004-02-19	Ferruccio Guidi	new mathql interpreterr flag V	blob \| commitdiff \| raw \| diff to current
2004-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	New key mathql_interpreter.postgresql_connection_string.	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	mathql_db_map.txt is now retrieved by Helm_registry.	blob \| commitdiff \| raw \| diff to current
2004-02-17	Stefano Zacchiroli	fixed typo	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	triciclo.conf.xml ==> gTopLevel.conf.xml	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.