]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b0ddbc) | patch
- added format table (enable highlighting of differente file formats)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jul 2006 09:49:29 +0000 (09:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 Jul 2006 09:49:29 +0000 (09:49 +0000)
commitfb10d3f0787aabe8548829453a31a355148f1d16
treefc2fcbd2f4f222a49212e78a58ce30fc574eeb3btree | snapshot
parent1b0ddbc6daed1275173e1c4bce78858ff3df5077commit | diff
- added format table (enable highlighting of differente file formats)
- enclosed highlighted body in <pre> .. </pre>
- added reference to the used .css
helm/www/matita/cgi-bin/hl.cgi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.