|
<!-- RECENT element -->
<!ELEMENT RECENT ( ENTRY+ ) >
<!-- ENTRY element -->
<!ELEMENT ENTRY ( PATH | CARET | SELECTION | ENCODING | MODE )* >
<!-- ENTRY child elements -->
<!ELEMENT PATH ( #PCDATA ) >
<!ELEMENT CARET ( #PCDATA ) >
<!ELEMENT SELECTION ( #PCDATA ) >
<!ELEMENT ENCODING ( #PCDATA ) >
<!ELEMENT MODE ( #PCDATA ) >
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
