]> matita.cs.unibo.it Git - helm.git/commit
"sec_" prefix for section IDs
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000)
commite15e22b0bb0723470473e37ccbcd75b90494c614
tree4a870e78bdb59040a1a575134dfd8d878a4f45c8
parent49e234b2701fdab2364a0e620111d8149450a50f
"sec_" prefix for section IDs
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/sec_install.xml
helm/software/matita/help/C/sec_tactics.xml