Read-only release history for XML-DTD