]> matita.cs.unibo.it Git - helm.git/commit
External entity inclusion fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:29:08 +0000 (12:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 12:29:08 +0000 (12:29 +0000)
commit7fc5117fc5d5dd4ed387f9163581978e105aa653
treeaddfc9524fc02936bf56708f7c1ab93a62d3a246
parent570751970ec54a960f588cd023f2e74300e3d940
External entity inclusion fixed
helm/dtd/cictypes.dtd