All DTDs used by JBoss are included in the <jboss-dist>/docs/dtds directory so check there for the latest version for a given release. As of the 3.2 release there is also a <jboss-dist>/docs/dtds/html-svg that contains formatted html/svg documentation of the current JBoss specific DTDs. The all documentation subscription also contains pdf versions of this DTD documentation.