![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to HTML.trans CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Public] / Amaya / amaya|
Return to HTML.trans CVS log | Up to [Public] / Amaya / amaya |
| version 1.34, 2003/12/08 12:16:21 | version 1.35, 2003/12/11 13:53:05 |
|---|---|
| Line 135 Paragraphs: | Line 135 Paragraphs: |
| ! Preformatted to/from paragraphs | ! Preformatted to/from paragraphs |
| !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! | !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! |
| Preformatted: p+; | Preformatted: (p{*+})+; |
| { | { |
| p > :pre; | * > pre:*; |
| } | } |
| Paragraph: pre+; | Paragraph: (pre{*+})+; |
| { | { |
| pre > :p; | * > p:*; |
| } | } |