]> matita.cs.unibo.it Git - helm.git/history - helm/www
...
[helm.git] / helm / www /
2008-07-23 Enrico Tassi...
2008-07-23 Enrico Tassi0.5.3
2008-07-02 Enrico Tassi0.5.2
2008-07-02 Enrico Tassi0.5.2
2008-05-29 Enrico Tassi0.5.1 released
2008-05-28 Enrico Tassi0.5.1
2008-05-26 Ferruccio Guidibetter presentation of lambda-delta
2008-05-24 Enrico Tassi...
2008-05-13 Ferruccio Guidiwe added a link to lambda-delta home page in the hope...
2008-05-10 Enrico Tassifixed english
2008-05-10 Enrico Tassivalid xml
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassireleased 0.5.0
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassi...
2008-05-10 Enrico Tassisome files orphaned
2008-04-30 Enrico Tassixml strict!
2008-04-30 Enrico Tassimany pending modifications were there, now the website...
2007-05-28 Stefano Zacchiroliremoved spurious br
2007-05-28 Stefano Zacchiroliadded abstract toggling
2007-05-28 Stefano Zacchiroliadded missing PDFs and spurious error papers
2007-05-28 Enrico Tassiaded papers
2007-05-28 Enrico Tassi...
2007-05-28 Enrico Tassi...
2007-05-28 Enrico Tassi...
2007-05-28 Enrico Tassi...
2007-05-28 Enrico Tassimore local modifications
2007-05-28 Enrico Tassilocal modifications
2006-10-03 Andrea AspertiNew home page, with italian version.
2006-07-18 Stefano Zacchirolioutput headers to force utf-8 charset
2006-07-18 Stefano Zacchirolichanged colors to match our GtkSourceView settings
2006-07-17 Stefano Zacchirolireal life implementation of the highlighting, added css
2006-07-17 Stefano Zacchiroli- added format table (enable highlighting of differente...
2006-07-14 Stefano Zacchiroliproof of concept implementation of scripts highlighting...
2006-07-14 Stefano Zacchirolisnapshot
2006-06-14 Stefano Zacchirolibetter wording of a sentence
2006-06-14 Stefano Zacchirolicosmetic: better placement of news box
2006-06-14 Stefano Zacchiroli- added news section
2006-06-14 Stefano Zacchiroliadded mention of the two mailing lists we have
2006-06-13 Stefano Zacchirolidownload.shtml is now valid xhtml 1.0 strict
2006-06-13 Stefano Zacchirolinew path for XSLT sytlesheets
2006-06-13 Stefano Zacchiroliuse the install target of the manual
2006-06-13 Stefano Zacchirolialigned matita logo to the left
2006-06-11 Ferruccio Guidifix in the development page
2006-06-11 Ferruccio Guidi- slight fix in lapply syntax
2006-06-10 Stefano Zacchiroliadded support for displaying the list of papers related...
2006-06-10 Stefano Zacchiroliadded reference to the online version of the manual
2006-06-10 Stefano Zacchiroliadded deps, create target dir if missing
2006-06-10 Stefano Zacchirolitiny version of the logo
2006-06-10 Stefano Zacchirolikeeping the generated manual on svn is overkilling
2006-06-10 Stefano Zacchirolimanual regenerated
2006-06-10 Stefano Zacchirolifirst generation of manual from docbook
2006-06-10 Stefano Zacchiroliadded automatic generation of the manual
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 Zacchirolirewored website layout and internal structure:
2006-06-09 Stefano Zacchiroliscaled down
2006-06-09 Stefano Zacchiroliscaled down
2006-06-09 Stefano Zacchiroliadded small version of the matita logo
2006-06-09 Stefano Zacchirolireworked css and html structure, continuing offline ...
2006-06-09 Stefano Zacchirolimoved matita-bugs.ong -> matita-medium.png
2006-06-09 Stefano Zacchiroliadded css and image for bugzilla
2006-05-19 Enrico Tassifixed typo
2006-05-16 Enrico Tassifix
2006-05-16 Enrico Tassifixed
2006-04-06 Enrico TassiResearcher -> Lecturer
2006-04-06 Enrico Tassifixed typo
2006-02-09 Stefano Zacchirolicompleted installation instructions
2006-02-07 Stefano Zacchiroliadded dir for released matita tarballs
2006-02-06 Stefano Zacchiroliadded last-modified info at the bottom of every page
2006-02-06 Stefano Zacchiroli- escaped "&" in URLs so that all pages are now XHTML...
2006-02-03 Stefano Zacchirolifixed download links and added underlined hyperlinks
2006-02-03 Enrico Tassiadded bg
2006-02-03 Enrico Tassifix
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroliuse server-side include
2006-02-02 Stefano Zacchiroliadded images and links for validation
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Enrico Tassifix
2006-02-02 Stefano Zacchiroli(dis)organized web stuff