]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/development.shtml
updating the information on lambda_delta
[helm.git] / helm / www / matita / development.shtml
2009-02-25 Enrico Tassi...
2008-04-30 Enrico Tassixml strict!
2006-10-03 Andrea AspertiNew home page, with italian version.
2006-06-14 Stefano Zacchiroli- added news section
2006-06-11 Ferruccio Guidifix in the development page
2006-06-11 Ferruccio Guidi- slight fix in lapply syntax
2006-06-10 Stefano Zacchiroli- all final shtml are now well formed XML documents
2006-06-09 Stefano Zacchiroli- added a real-life index page
2006-06-09 Stefano Zacchirolirewored website layout and internal structure:
2006-06-09 Stefano Zacchirolireworked css and html structure, continuing offline ...