]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0bafbc) | patch
added splitting engine for .html generated by docbook -> xhtml conversion
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 10:34:37 +0000 (10:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Feb 2006 10:34:37 +0000 (10:34 +0000)
commit630f5b03a7e5da46d7795fc0124a288a1efb8562
treec2d9b48887035beaa65e7b6156b900da564b2ffctree | snapshot
parentb0bafbcd9a8385e9b8778bb9a2b81df418197b16commit | diff
added splitting engine for .html generated by docbook -> xhtml conversion
helm/software/matita/help/C/sec_terms.xml diff | blob | history
helm/software/matita/help/C/split.ml [new file with mode: 0755] blob
helm/software/matita/help/C/xhtml1-transitional.dtd [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.