matita.cs.unibo.it Git - helm.git/history - helm/configuration/AUTHORS

]> matita.cs.unibo.it Git - helm.git/history - helm/configuration/AUTHORS

2001-01-08	Luca Padovani	* empty log message *	blob \| commitdiff \| raw
2000-12-28	Claudio Sacerdoti...	First changes to make the rpm package	blob \| commitdiff \| raw \| diff to current
2000-12-21	Claudio Sacerdoti...	Using autoconf	blob \| commitdiff \| raw \| diff to current

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