![]() ![]() | ![]() |
version 1.18, 1997/04/30 23:34:49 | version 1.19, 1997/06/03 17:31:43 |
---|---|
Line 214 RULES | Line 214 RULES |
Pseudo_paragraph: | Pseudo_paragraph: |
BEGIN | BEGIN |
Create '\12\12' After; | Create '\12' After; |
if not within List_Item | |
Create '\12' After; | |
END; | END; |
TEXT_UNIT: BEGIN | TEXT_UNIT: BEGIN |