]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/matita.shtml
auto new => autobatch
[helm.git] / helm / www / matita / matita.shtml
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