]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/documentation.shtml
LexiconAstPp: fixed syntax for include
[helm.git] / helm / www / matita / documentation.shtml
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