From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 21 Mar 2001 17:37:29 +0000 (+0000)
Subject: patched_dtd => patch_dtd
X-Git-Tag: v0_1_2~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=37bc283f9c7b75ed10e7a7b7130d41a56b0f8f17;hp=37bc283f9c7b75ed10e7a7b7130d41a56b0f8f17;p=helm.git

patched_dtd => patch_dtd
---