]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/documentation.shtml
...
[helm.git] / helm / www / matita / documentation.shtml
2008-11-25 Enrico Tassi...
2008-04-30 Enrico Tassixml strict!
2008-04-30 Enrico Tassimany pending modifications were there, now the website...
2007-05-28 Enrico Tassiaded papers
2007-05-28 Enrico Tassilocal modifications
2006-06-14 Stefano Zacchiroli- added news section
2006-06-10 Stefano Zacchiroliadded reference to the online version of the manual
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 ...
2006-02-06 Stefano Zacchiroli- escaped "&" in URLs so that all pages are now XHTML...
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroliuse server-side include