]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/matita.shtml
syntactic components detached from basic_2 become static_2
[helm.git] / helm / www / matita / matita.shtml
2012-04-03 Andrea AspertiMinor changes
2012-04-03 Wilmer RicciottiVarious updates to the (obsolete) website.
2012-04-03 Andrea Aspertimodifiche
2012-04-03 Andrea AspertiVersione italiana
2012-04-03 Andrea AspertiNew home
2012-04-03 Andrea AspertiTop picture
2012-04-03 Andrea Aspertiprova
2008-04-30 Enrico Tassimany pending modifications were there, now the website...
2007-05-28 Enrico Tassilocal modifications
2006-10-03 Andrea AspertiNew home page, with italian version.
2006-07-14 Stefano Zacchirolisnapshot
2006-06-14 Stefano Zacchirolibetter wording of a sentence
2006-06-14 Stefano Zacchiroli- added news section
2006-06-10 Stefano Zacchiroliyet another screenshot
2006-06-10 Stefano Zacchiroliadded screenshots describing matita features
2006-06-10 Stefano Zacchiroli- all final shtml are now well formed XML documents
2006-06-09 Stefano Zacchiroliwording
2006-06-09 Stefano Zacchiroli- added a real-life index page
2006-06-09 Stefano Zacchirolireworked css and html structure, continuing offline ...
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroliuse server-side include