projects / helm.git / history
| 2006-02-07 | Stefano Zacchiroli | added dir for released matita tarballs | tree | commitdiff |
| 2006-02-06 | Stefano Zacchiroli | added 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 Zacchiroli | fixed download links and added underlined hyperlinks | tree | commitdiff |
| 2006-02-03 | Enrico Tassi | added bg | tree | commitdiff |
| 2006-02-03 | Enrico Tassi | fix | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | - moved images in images/ | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | use server-side include | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | added images and links for validation | tree | commitdiff |
| 2006-02-02 | Enrico Tassi | fix | tree | commitdiff |
| 2006-02-02 | Enrico Tassi | fix | tree | commitdiff |
| 2006-02-02 | Enrico Tassi | fix | tree | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | (dis)organized web stuff | tree | commitdiff |