The editor may introduce modern spacing, punctuation, accents and capitalization without comment unless the text is contained within a <div type="diplomatic">.
Revision number: $Revision: 1.8 $
Revision name (if any): $Name: r-4-beta-1 $
Revision date: $Date: 2006/04/18 21:19:01 $