]> matita.cs.unibo.it Git - helm.git/history - helm/www
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
1. "by proof" now allowed as a justification in equality chains.
[helm.git] / helm / www /
2007-05-28 Stefano Zacchiroliremoved spurious br tree | commitdiff
2007-05-28 Stefano Zacchiroliadded abstract toggling tree | commitdiff
2007-05-28 Stefano Zacchiroliadded missing PDFs and spurious error papers tree | commitdiff
2007-05-28 Enrico Tassiaded papers tree | commitdiff
2007-05-28 Enrico Tassi... tree | commitdiff
2007-05-28 Enrico Tassi... tree | commitdiff
2007-05-28 Enrico Tassi... tree | commitdiff
2007-05-28 Enrico Tassi... tree | commitdiff
2007-05-28 Enrico Tassimore local modifications tree | commitdiff
2007-05-28 Enrico Tassilocal modifications tree | commitdiff
2006-10-03 Andrea AspertiNew home page, with italian version. tree | commitdiff
2006-07-18 Stefano Zacchirolioutput headers to force utf-8 charset tree | commitdiff
2006-07-18 Stefano Zacchirolichanged colors to match our GtkSourceView settings tree | commitdiff
2006-07-17 Stefano Zacchirolireal life implementation of the highlighting, added css tree | commitdiff
2006-07-17 Stefano Zacchiroli- added format table (enable highlighting of differente... tree | commitdiff
2006-07-14 Stefano Zacchiroliproof of concept implementation of scripts highlighting... tree | commitdiff
2006-07-14 Stefano Zacchirolisnapshot tree | commitdiff
2006-06-14 Stefano Zacchirolibetter wording of a sentence tree | commitdiff
2006-06-14 Stefano Zacchirolicosmetic: better placement of news box tree | commitdiff
2006-06-14 Stefano Zacchiroli- added news section tree | commitdiff
2006-06-14 Stefano Zacchiroliadded mention of the two mailing lists we have tree | commitdiff
2006-06-13 Stefano Zacchirolidownload.shtml is now valid xhtml 1.0 strict tree | commitdiff
2006-06-13 Stefano Zacchirolinew path for XSLT sytlesheets tree | commitdiff
2006-06-13 Stefano Zacchiroliuse the install target of the manual tree | commitdiff
2006-06-13 Stefano Zacchirolialigned matita logo to the left tree | commitdiff
2006-06-11 Ferruccio Guidifix in the development page tree | commitdiff
2006-06-11 Ferruccio Guidi- slight fix in lapply syntax tree | commitdiff
2006-06-10 Stefano Zacchiroliadded support for displaying the list of papers related... tree | commitdiff
2006-06-10 Stefano Zacchiroliadded reference to the online version of the manual tree | commitdiff
2006-06-10 Stefano Zacchiroliadded deps, create target dir if missing tree | commitdiff
2006-06-10 Stefano Zacchirolitiny version of the logo tree | commitdiff
2006-06-10 Stefano Zacchirolikeeping the generated manual on svn is overkilling tree | commitdiff
2006-06-10 Stefano Zacchirolimanual regenerated tree | commitdiff
2006-06-10 Stefano Zacchirolifirst generation of manual from docbook tree | commitdiff
2006-06-10 Stefano Zacchiroliadded automatic generation of the manual tree | commitdiff
2006-06-10 Stefano Zacchiroliyet another screenshot tree | commitdiff
2006-06-10 Stefano Zacchiroliadded screenshots describing matita features tree | commitdiff
2006-06-10 Stefano Zacchiroli- all final shtml are now well formed XML documents tree | commitdiff
2006-06-09 Stefano Zacchiroliwording tree | commitdiff
2006-06-09 Stefano Zacchiroli- added a real-life index page tree | commitdiff
2006-06-09 Stefano Zacchirolirewored website layout and internal structure: tree | commitdiff
2006-06-09 Stefano Zacchiroliscaled down tree | commitdiff
2006-06-09 Stefano Zacchiroliscaled down tree | commitdiff
2006-06-09 Stefano Zacchiroliadded small version of the matita logo tree | commitdiff
2006-06-09 Stefano Zacchirolireworked css and html structure, continuing offline ... tree | commitdiff
2006-06-09 Stefano Zacchirolimoved matita-bugs.ong -> matita-medium.png tree | commitdiff
2006-06-09 Stefano Zacchiroliadded css and image for bugzilla tree | commitdiff
2006-05-19 Enrico Tassifixed typo tree | commitdiff
2006-05-16 Enrico Tassifix tree | commitdiff
2006-05-16 Enrico Tassifixed tree | commitdiff
2006-04-06 Enrico TassiResearcher -> Lecturer tree | commitdiff
2006-04-06 Enrico Tassifixed typo tree | commitdiff
2006-02-09 Stefano Zacchirolicompleted installation instructions tree | commitdiff
2006-02-07 Stefano Zacchiroliadded dir for released matita tarballs tree | commitdiff
2006-02-06 Stefano Zacchiroliadded last-modified info at the bottom of every page tree | commitdiff
2006-02-06 Stefano Zacchiroli- escaped "&" in URLs so that all pages are now XHTML... tree | commitdiff
2006-02-03 Stefano Zacchirolifixed download links and added underlined hyperlinks tree | commitdiff
2006-02-03 Enrico Tassiadded bg tree | commitdiff
2006-02-03 Enrico Tassifix tree | commitdiff
2006-02-02 Stefano Zacchiroli- moved images in images/ tree | commitdiff
2006-02-02 Stefano Zacchiroliuse server-side include tree | commitdiff
2006-02-02 Stefano Zacchiroliadded images and links for validation tree | commitdiff
2006-02-02 Enrico Tassifix tree | commitdiff
2006-02-02 Enrico Tassifix tree | commitdiff
2006-02-02 Enrico Tassifix tree | commitdiff
2006-02-02 Stefano Zacchiroli(dis)organized web stuff tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.