version 1.112, 2000/10/09 11:16:29
|
version 1.113, 2000/10/26 17:27:07
|
Line 49 STRUCT
|
Line 49 STRUCT
|
HEAD; |
HEAD; |
? BODY; { only one of BODY, document type } |
? BODY; { only one of BODY, document type } |
? FRAMESET; |
? FRAMESET; |
END + (Invalid_element, Comment\240); |
END + (Invalid_element, Comment\240, XMLPI); |
|
|
BODY { BODY } |
BODY { BODY } |
(ATTR onload = Text; onunload = Text; |
(ATTR onload = Text; onunload = Text; |
Line 63 STRUCT
|
Line 63 STRUCT
|
LIST OF (Element) + (INS, DEL); |
LIST OF (Element) + (INS, DEL); |
|
|
Invalid_element (ATTR Error_type = UnknownTag, BadPosition) = TEXT; |
Invalid_element (ATTR Error_type = UnknownTag, BadPosition) = TEXT; |
|
|
Comment\240 = LIST OF (Comment_line = TEXT); |
Comment\240 = LIST OF (Comment_line = TEXT); |
|
|
|
XMLPI = LIST OF (PI_line = TEXT); |
|
|
Head_misc = |
Head_misc = |
CASE OF |
CASE OF |
STYLE_; |
STYLE_; |
Line 797 EXCEPT
|
Line 800 EXCEPT
|
Term_List: Hidden; |
Term_List: Hidden; |
Definition_Item:Hidden; |
Definition_Item:Hidden; |
Comment_line: Hidden; |
Comment_line: Hidden; |
|
PI_line: Hidden; |
GRAPHICS: NoMove, NoResize; |
GRAPHICS: NoMove, NoResize; |
TEXT: NoMove, NoResize; |
TEXT: NoMove, NoResize; |
PICTURE: MoveResize; |
PICTURE: MoveResize; |