version 1.134, 2001/12/10 09:14:17
|
version 1.135, 2001/12/10 12:16:22
|
Line 51 STRUCT
|
Line 51 STRUCT
|
HEAD; |
HEAD; |
? BODY; { only one of BODY, document type } |
? BODY; { only one of BODY, document type } |
? FRAMESET; |
? FRAMESET; |
? DOCTYPE = TEXT; |
? DOCTYPE = LIST OF (DOCTYPE_line = TEXT); |
END + (Invalid_element, Unknown_namespace, Comment\240, XMLPI); |
END + (Invalid_element, Unknown_namespace, Comment\240, XMLPI); |
|
|
BODY { BODY } |
BODY { BODY } |
Line 880 EXCEPT
|
Line 880 EXCEPT
|
Definitions: Hidden; |
Definitions: Hidden; |
Comment_line: Hidden; |
Comment_line: Hidden; |
PI_line: Hidden; |
PI_line: Hidden; |
|
DOCTYPE_line: Hidden; |
GRAPHICS: NoMove, NoResize; |
GRAPHICS: NoMove, NoResize; |
TEXT: NoMove, NoResize; |
TEXT: NoMove, NoResize; |
PICTURE: MoveResize; |
PICTURE: MoveResize; |