recent.dtd

开源的java 编辑器源代码

<!-- 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 ) >