]> matita.cs.unibo.it Git - helm.git/commit
css stylesheets for the on-line manual
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 16:20:58 +0000 (16:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 16:20:58 +0000 (16:20 +0000)
commita786966cd22372ba829984fa875beaddd0baae05
treed7a8e5c944fe67d1cc1e7c80a0bb1e469d28ac17
parent9b0c82650f44752fefaf7819947667466b904fbc
css stylesheets for the on-line manual
helm/software/matita/help/C/docbook.css [new file with mode: 0644]