]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6e89d7) | 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)
commite01d6c3dc338c2a4a5ee37305d9b09cb2ab0cc6c
treeeea029540516ffa93b831820c40afb5d3b15c7b9tree | snapshot
parentb6e89d7f01c43bc15c605bf7a68657f8ff047359commit | diff
added splitting engine for .html generated by docbook -> xhtml conversion
matita/help/C/sec_terms.xml diff | blob | history
matita/help/C/split.ml [new file with mode: 0755] blob
matita/help/C/xhtml1-transitional.dtd [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.