]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita
some additions and corrections ...
[helm.git] / helm / www / matita /
2012-04-03 Andrea AspertiMinor changes
2012-04-03 Wilmer RicciottiMore changes to the website (matitaweb).
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
2011-12-08 Ferruccio Guidiupdating the information on lambda_delta
2011-12-08 Ferruccio GuidiMaietty suggested to change a paragraph on the devel...
2011-12-08 Ferruccio GuidiMaietti suggested to replace a paragraph about the...
2011-04-13 Claudio Sacerdoti... ...
2010-01-07 Enrico Tassi....
2010-01-07 Enrico Tassi...
2010-01-07 Enrico Tassi...
2009-10-12 Enrico Tassi...
2009-10-12 Enrico Tassi...
2009-02-25 Enrico Tassi...
2009-02-24 Enrico Tassi...
2009-02-24 Enrico Tassi...
2009-02-20 Enrico Tassi...
2009-02-15 Enrico Tassi...
2009-02-15 Enrico Tassi...
2008-12-09 Enrico Tassi...
2008-12-08 Enrico Tassi...
2008-12-02 Enrico Tassi...
2008-12-01 Enrico Tassi...
2008-11-28 Enrico Tassi...
2008-11-25 Enrico Tassi...
2008-11-25 Enrico Tassi...
2008-11-25 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-18 Enrico Tassi0.5.5
2008-10-20 Enrico Tassi...
2008-10-20 Enrico Tassi...
2008-10-19 Enrico Tassi...
2008-10-19 Enrico Tassi...
2008-09-27 Enrico Tassiadded UBUNTU/
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
next