]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cf4633) | patch
- escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 18:08:54 +0000 (18:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 18:08:54 +0000 (18:08 +0000)
commit9e5aca768e23c9e0b555d3010c924264a1b920d0
tree731a0b7559d016f679fef5d2ca860e9c6164da07tree | snapshot
parent2cf4633988fe480f90b477ddaa586d218afc22d6commit | diff
- escaped "&" in URLs so that all pages are now XHTML 1.0 Strict valid
- expanded a bit the "nothing to see here" concept in the matita web pages
helm/www/matita/community.shtml diff | blob | history
helm/www/matita/developers.shtml diff | blob | history
helm/www/matita/documentation.shtml diff | blob | history
helm/www/matita/download.shtml diff | blob | history
helm/www/matita/style.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.