equal
deleted
inserted
replaced
93 (make element gi: "TH" (literal "Name")) |
93 (make element gi: "TH" (literal "Name")) |
94 (make element gi: "TH" (literal "Where defined")) |
94 (make element gi: "TH" (literal "Where defined")) |
95 (make element gi: "TH" (literal "Description")) |
95 (make element gi: "TH" (literal "Description")) |
96 (process-children))))) |
96 (process-children))))) |
97 |
97 |
|
98 (element (etik:example etik:code) |
|
99 ($verbatim-display$ |
|
100 #f ;; mivel indentaljon |
|
101 #f)) ;; legyen-e sorszamozas |
|
102 |
98 |
103 |
99 </style-specification-body> |
104 </style-specification-body> |
100 </style-specification> |
105 </style-specification> |
101 <external-specification id="docbook" document="dbstyle"> |
106 <external-specification id="docbook" document="dbstyle"> |
102 </style-sheet> |
107 </style-sheet> |