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

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

[helm.git] / helm / ocaml / getter / sample.conf.xml

2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	commit \| commitdiff
2006-01-09	Stefano Zacchiroli	added sample entries with attributes	commit \| commitdiff
2005-09-06	Stefano Zacchiroli	updated	commit \| commitdiff
2005-07-06	Stefano Zacchiroli	uses mowgli's getter conffile as sample	commit \| commitdiff
2005-07-06	Stefano Zacchiroli	added support for multiple binding of the same prefix...	commit \| commitdiff
2005-07-05	Stefano Zacchiroli	new getter implementation: no more DBM maps	commit \| commitdiff

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