matita.cs.unibo.it Git - helm.git/history - helm/www/matita/library.shtml

]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/library.shtml

2014-12-23	Claudio Sacerdoti...	0.5.9 released	blob \| commitdiff \| raw
2012-04-03	Wilmer Ricciotti	Various updates to the (obsolete) website.	blob \| commitdiff \| raw \| diff to current
2011-12-08	Ferruccio Guidi	updating the information on lambda_delta	blob \| commitdiff \| raw \| diff to current
2011-12-08	Ferruccio Guidi	Maietty suggested to change a paragraph on the devel...	blob \| commitdiff \| raw \| diff to current
2011-12-08	Ferruccio Guidi	Maietti suggested to replace a paragraph about the...	blob \| commitdiff \| raw \| diff to current
2011-04-13	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2008-05-26	Ferruccio Guidi	better presentation of lambda-delta	blob \| commitdiff \| raw \| diff to current
2008-05-13	Ferruccio Guidi	we added a link to lambda-delta home page in the hope...	blob \| commitdiff \| raw \| diff to current
2008-04-30	Enrico Tassi	xml strict!	blob \| commitdiff \| raw \| diff to current
2008-04-30	Enrico Tassi	many pending modifications were there, now the website...	blob \| commitdiff \| raw \| diff to current
2007-05-28	Enrico Tassi	more local modifications	blob \| commitdiff \| raw \| diff to current

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