recent.dtd

来自「用java 编写的源码开放的文本编辑器。有很多有用的特性」· DTD 代码 · 共 12 行

<!-- RECENT element -->
<!ELEMENT RECENT ( ENTRY+ ) >

<!-- ENTRY element -->
<!ELEMENT ENTRY ( PATH | CARET | SELECTION | ENCODING ) >

<!-- ENTRY child elements -->
<!ELEMENT PATH ( #PCDATA ) >
<!ELEMENT CARET ( #PCDATA ) >
<!ELEMENT SELECTION ( #PCDATA ) >
<!ELEMENT ENCODING ( #PCDATA ) >