]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambda_delta/news.html
additions to basic_2
[helm.git] / helm / www / lambda_delta / news.html
2012-03-15 Ferruccio Guidisome renaming (ld_ prefix removed from file names)
2012-02-24 Ferruccio Guidisite update
2012-02-24 Ferruccio Guidi- we added a web page (Apps_2) for the checked applicat...
2012-02-21 Ferruccio Guidi- site update
2012-01-13 Ferruccio Guidimore file names added to Basic_2
2011-10-11 Ferruccio Guidiupdate ...
2011-10-03 Ferruccio Guidinews update
2011-09-09 Ferruccio Guidi- news update
2011-09-08 Ferruccio Guidi- helm server url updated
2011-09-08 Ferruccio Guidiinitial commit of lambda_delta web site