|
8
|
1 <!-- This is sinfo.dtd,
|
|
|
2 by MORIOKA Tomohiko
|
|
|
3 $Id: sinfo.dtd,v 1.1 1996/12/22 00:34:43 steve Exp $
|
|
|
4 -->
|
|
|
5
|
|
|
6 <!entity % emph
|
|
|
7 "em|it|bf|sf|sl|tt|cparam|code|verb|var|mail|file|kbd|key">
|
|
|
8
|
|
|
9 <!entity % index "idx|cdx" >
|
|
|
10
|
|
|
11 <!-- url added by HG; htmlurl added by esr -->
|
|
|
12 <!entity % xref
|
|
|
13 " a|label|ref|dref|cf|cite|ncite|concept " >
|
|
|
14
|
|
|
15 <!entity % inline
|
|
|
16 " (#pcdata | f| x| %emph; |sq| %xref | %index )* " >
|
|
|
17
|
|
|
18 <!entity % list
|
|
|
19 " list | ul | ol | dl | kl | vl | memo | lisp | rfc | standard
|
|
|
20 | report " >
|
|
|
21
|
|
|
22 <!entity % par
|
|
|
23 " %list; | comment | lq | quote | tscreen " >
|
|
|
24
|
|
|
25 <!entity % mathpar " dm | eq " >
|
|
|
26
|
|
|
27 <!entity % thrm
|
|
|
28 " defun | define | defvar | prop | lemma | coroll | proof | theorem " >
|
|
|
29
|
|
|
30 <!entity % sectpar
|
|
|
31 " %par; | figure | table | faq | hrule | %mathpar; |
|
|
|
32 %thrm; ">
|
|
|
33 <!element sinfo o o (head, body) >
|
|
|
34
|
|
|
35 <!element head - - (titlepag, header?, toc?, lof?, lot?)>
|
|
|
36 <!attlist head opts cdata "null">
|
|
|
37
|
|
|
38 <!element body - - ( abstract?, (p|noindent)*, h1*,
|
|
|
39 (appendix, h1+)?, biblio?) +(footnote)>
|
|
|
40 <!attlist body opts cdata "null">
|
|
|
41
|
|
|
42 <!entity % general system -- general purpose characters -- >
|
|
|
43 %general;
|
|
|
44 <!entity Ae 'Ä' >
|
|
|
45 <!entity ae 'ä' >
|
|
|
46 <!entity Oe 'Ö' >
|
|
|
47 <!entity oe 'ö' >
|
|
|
48 <!entity Ue 'Ü' >
|
|
|
49 <!entity ue 'ü' >
|
|
|
50 <!entity sz 'ß' >
|
|
|
51 <!element noindent o o (( %inline | %sectpar )+) +(newline) >
|
|
|
52 <!element p o o (( %inline | %sectpar )+) +(newline) >
|
|
|
53 <!entity ptag '<p>' >
|
|
|
54 <!entity psplit '</p><p>' >
|
|
|
55
|
|
|
56 <!element em - - (%inline)>
|
|
|
57 <!element bf - - (%inline)>
|
|
|
58 <!element it - - (%inline)>
|
|
|
59 <!element sf - - (%inline)>
|
|
|
60 <!element sl - - (%inline)>
|
|
|
61 <!element tt - - (%inline)>
|
|
|
62 <!element sq - - (%inline)>
|
|
|
63 <!element cparam - - (%inline)>
|
|
|
64
|
|
|
65 <!entity ftag '<f>' -- formula begin -- >
|
|
|
66 <!entity qendtag '</sq>'>
|
|
|
67
|
|
|
68 <!element lq - - ((p|noindent)*)>
|
|
|
69 <!element quote - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
|
|
|
70 <!element tscreen - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
|
|
|
71 <!element ul - - (li+)>
|
|
|
72 <!element ol - - (li+)>
|
|
|
73 <!element list - - (li+)>
|
|
|
74 <!element memo - - ((%inline; | %sectpar; )*, (p|noindent)*)+ >
|
|
|
75 <!attlist memo title cdata "Memo">
|
|
|
76 <!element rfc - o empty>
|
|
|
77 <!attlist rfc
|
|
|
78 name cdata #implied
|
|
|
79 number cdata #required
|
|
|
80 type cdata #implied
|
|
|
81 author cdata #required
|
|
|
82 title cdata #required
|
|
|
83 date cdata #required
|
|
|
84 obsolete cdata #implied>
|
|
|
85 <!element standard - o empty>
|
|
|
86 <!attlist standard
|
|
|
87 abbrev cdata #implied
|
|
|
88 org cdata #implied
|
|
|
89 title-cn cdata #implied
|
|
|
90 title-en cdata #implied
|
|
|
91 title-fr cdata #implied
|
|
|
92 title-ja cdata #implied
|
|
|
93 number cdata #required
|
|
|
94 year cdata #implied>
|
|
|
95 <!element report - o empty>
|
|
|
96 <!attlist report
|
|
|
97 abbrev cdata #implied
|
|
|
98 author cdata #required
|
|
|
99 title-cn cdata #implied
|
|
|
100 title-en cdata #implied
|
|
|
101 title-fr cdata #implied
|
|
|
102 title-ja cdata #implied
|
|
|
103 date cdata #implied>
|
|
|
104 <!element dl - - (dt,dd)+ >
|
|
|
105 <!element dt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
106 <!element dd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
|
|
|
107
|
|
|
108 <!element kl - - ((kt,kd)|(dt,dd))+ >
|
|
|
109 <!element kt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
110 <!element kd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
|
|
|
111
|
|
|
112 <!element vl - - (dt,dd)+ >
|
|
|
113
|
|
|
114 <!element li - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
115
|
|
|
116 <!element tag - o (%inline)>
|
|
|
117 <!entity space " ">
|
|
|
118 <!entity null "">
|
|
|
119
|
|
|
120 <!element faq - - (keyword?, (poster?, pdate?, (question| answer| coment)? )*)+>
|
|
|
121 <!element keyword - o (%inline;)*>
|
|
|
122 <!element poster - o (%inline;)*>
|
|
|
123 <!element pdate - o (%inline;)*>
|
|
|
124 <!element question - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
125 <!element answer - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
126 <!element coment - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
127 <!element hrule - o empty >
|
|
|
128
|
|
|
129 <!element figure - - ((eps | ph ), caption?)>
|
|
|
130 <!attlist figure
|
|
|
131 loc cdata "tbp">
|
|
|
132
|
|
|
133 <!-- eps attributes added by mb and td -->
|
|
|
134 <!element eps - o empty >
|
|
|
135 <!attlist eps
|
|
|
136 file cdata #required
|
|
|
137 height cdata "5cm"
|
|
|
138 angle cdata "0">
|
|
|
139
|
|
|
140 <!element ph - o empty >
|
|
|
141 <!attlist ph
|
|
|
142 vspace cdata #required>
|
|
|
143
|
|
|
144 <!element caption - o (%inline)>
|
|
|
145
|
|
|
146 <!element rowsep - o empty>
|
|
|
147 <!element colsep - o empty>
|
|
|
148 <!element hline - o empty>
|
|
|
149
|
|
|
150 <!entity rowsep "<rowsep>">
|
|
|
151 <!entity colsep "<colsep>">
|
|
|
152
|
|
|
153 <!element table - - (tabular, caption?) >
|
|
|
154 <!attlist table
|
|
|
155 loc cdata "tbp">
|
|
|
156
|
|
|
157 <!element code - - rcdata>
|
|
|
158 <!element verb - - rcdata>
|
|
|
159 <!element var - - rcdata>
|
|
|
160 <!element lisp - - rcdata>
|
|
|
161 <!element mail - - rcdata>
|
|
|
162 <!element file - - rcdata>
|
|
|
163 <!element kbd - - rcdata>
|
|
|
164 <!element key - - rcdata>
|
|
|
165
|
|
|
166 <!shortref ttmap -- also on one-line --
|
|
|
167 "B&#RE;" space
|
|
|
168 "&#RS;&#RE;" null
|
|
|
169 "&#RS;B&#RE;" null
|
|
|
170 "&#RS;B" null
|
|
|
171 '#' num
|
|
|
172 '%' percnt
|
|
|
173 '~' tilde
|
|
|
174 '_' lowbar
|
|
|
175 '^' circ
|
|
|
176 '{' lcub
|
|
|
177 '}' rcub
|
|
|
178 '|' verbar >
|
|
|
179
|
|
|
180 <!usemap ttmap tt>
|
|
|
181 <!element mc - - cdata >
|
|
|
182 <!entity % sppos "tu" >
|
|
|
183 <!entity % fcs "%sppos;|phr" >
|
|
|
184 <!entity % fcstxt "#pcdata|mc|%fcs;" >
|
|
|
185 <!entity % fscs "rf|v|fi" >
|
|
|
186 <!entity % limits "pr|in|sum" >
|
|
|
187 <!entity % fbu "fr|lim|ar|root" >
|
|
|
188 <!entity % fph "unl|ovl|sup|inf" >
|
|
|
189 <!entity % fbutxt "(%fbu;) | (%limits;) |
|
|
|
190 (%fcstxt;)|(%fscs;)|(%fph;)" >
|
|
|
191 <!entity % fphtxt "p|#pcdata" >
|
|
|
192 <!element f - - ((%fbutxt;)*) >
|
|
|
193
|
|
|
194 <!entity fendtag '</f>' -- formula end -- >
|
|
|
195
|
|
|
196 <!shortref fmap
|
|
|
197 "&#RS;B" null
|
|
|
198 "&#RS;B&#RE;" null
|
|
|
199 "&#RS;&#RE;" null
|
|
|
200 "_" thinsp
|
|
|
201 "~" nbsp
|
|
|
202 "]" fendtag
|
|
|
203 "#" num
|
|
|
204 "%" percnt
|
|
|
205 "^" circ
|
|
|
206 "{" lcub
|
|
|
207 "}" rcub
|
|
|
208 "|" verbar>
|
|
|
209
|
|
|
210 <!usemap fmap f >
|
|
|
211
|
|
|
212 <!element dm - - ((%fbutxt;)*)>
|
|
|
213 <!element eq - - ((%fbutxt;)*)>
|
|
|
214
|
|
|
215 <!shortref dmmap
|
|
|
216 "&#RE;" space
|
|
|
217 "_" thinsp
|
|
|
218 "~" nbsp
|
|
|
219 "]" fendtag
|
|
|
220 "#" num
|
|
|
221 "%" percnt
|
|
|
222 "^" circ
|
|
|
223 "{" lcub
|
|
|
224 "}" rcub
|
|
|
225 "|" verbar>
|
|
|
226
|
|
|
227 <!usemap dmmap (dm,eq)>
|
|
|
228 <!element fr - - (nu,de) >
|
|
|
229 <!element nu o o ((%fbutxt;)*) >
|
|
|
230 <!element de o o ((%fbutxt;)*) >
|
|
|
231 <!element sub o o ((%fbutxt;)*) >
|
|
|
232 <!element super o o ((%fbutxt;)*) >
|
|
|
233 <!element opd - o ((%fbutxt;)*) >
|
|
|
234 <!element pr - - (ll,u,opd?) >
|
|
|
235 <!element in - - (ll,u,opd?) >
|
|
|
236 <!element sum - - (ll,u,opd?) >
|
|
|
237 <!element lim - - (op,ll,u,opd?) >
|
|
|
238 <!element op o o (%fcstxt;|rf|%fph;) -(tu) >
|
|
|
239 <!element root - - ((%fbutxt;)*) >
|
|
|
240 <!attlist root
|
|
|
241 n cdata "">
|
|
|
242 <!element col o o ((%fbutxt;)*) >
|
|
|
243 <!element row o o (col, (arc, col)*) >
|
|
|
244
|
|
|
245 <!element ar - - (row, (arr, row)*) >
|
|
|
246 <!attlist ar
|
|
|
247 ca cdata #required >
|
|
|
248 <!element arr - o empty >
|
|
|
249 <!element arc - o empty >
|
|
|
250 <!entity arr "<arr>" >
|
|
|
251 <!entity arc "<arc>" >
|
|
|
252
|
|
|
253 <!shortref arrmap
|
|
|
254 "&#RE;" space
|
|
|
255 "@" arr
|
|
|
256 "|" arc
|
|
|
257 "_" thinsp
|
|
|
258 "~" nbsp
|
|
|
259 "#" num
|
|
|
260 "%" percnt
|
|
|
261 "^" circ
|
|
|
262 "{" lcub
|
|
|
263 "}" rcub >
|
|
|
264
|
|
|
265 <!usemap arrmap ar >
|
|
|
266 <!element sup - - ((%fbutxt;)*) -(tu) >
|
|
|
267 <!element inf - - ((%fbutxt;)*) -(tu) >
|
|
|
268 <!element unl - - ((%fbutxt;)*) >
|
|
|
269 <!element ovl - - ((%fbutxt;)*) >
|
|
|
270 <!element rf - o (#pcdata) >
|
|
|
271 <!element phr - o ((%fphtxt;)*) >
|
|
|
272 <!element v - o ((%fcstxt;)*)
|
|
|
273 -(tu|%limits;|%fbu;|%fph;) >
|
|
|
274 <!element fi - o (#pcdata) >
|
|
|
275 <!element tu - o empty >
|
|
|
276
|
|
|
277 <!element defun - - (args?,opts?,rest?,(p|noindent|newline)*)>
|
|
|
278 <!attlist defun
|
|
|
279 name cdata #required>
|
|
|
280 <!element args - o (#pcdata)>
|
|
|
281 <!element opts - o (#pcdata)>
|
|
|
282 <!element rest - o (#pcdata)>
|
|
|
283
|
|
|
284 <!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
|
|
|
285 <!attlist define
|
|
|
286 type cdata #required
|
|
|
287 name cdata #required>
|
|
|
288
|
|
|
289 <!element defvar - - ((p|noindent)+) >
|
|
|
290 <!attlist defvar
|
|
|
291 name cdata #required>
|
|
|
292 <!element prop - - (thtag?, p+) >
|
|
|
293 <!element lemma - - (thtag?, p+) >
|
|
|
294 <!element coroll - - (thtag?, p+) >
|
|
|
295 <!element proof - - (p+) >
|
|
|
296 <!element theorem - - (thtag?, p+) >
|
|
|
297 <!element thtag - - (%inline)>
|
|
|
298
|
|
|
299 <!entity qtag '<sq>' >
|
|
|
300
|
|
|
301 <!element label - o empty>
|
|
|
302 <!attlist label id cdata #required>
|
|
|
303
|
|
|
304 <!element concept - - cdata>
|
|
|
305
|
|
|
306 <!element a - - (p+)>
|
|
|
307 <!attlist a
|
|
|
308 file cdata #implied
|
|
|
309 node cdata #implied
|
|
|
310 href cdata #implied>
|
|
|
311
|
|
|
312 <!element cf - o empty>
|
|
|
313 <!attlist cf
|
|
|
314 file cdata #implied
|
|
|
315 node cdata #implied
|
|
|
316 href cdata #implied >
|
|
|
317
|
|
|
318 <!element ref - o empty>
|
|
|
319 <!attlist ref
|
|
|
320 file cdata #implied
|
|
|
321 node cdata #implied>
|
|
|
322
|
|
|
323 <!element dref - - cdata>
|
|
|
324 <!attlist dref
|
|
|
325 file cdata #implied>
|
|
|
326
|
|
|
327 <!element comment - - (%inline)>
|
|
|
328 <!element x - - ((#pcdata | mc)*) >
|
|
|
329 <!usemap #empty x >
|
|
|
330
|
|
|
331 <!-- Hacked by mdw, abstract now part of titlepag -->
|
|
|
332 <!element titlepag o o (title, author, date?, trans?, tdate?)>
|
|
|
333 <!element title - o (%inline, subtitle?) +(newline)>
|
|
|
334 <!element subtitle - o (%inline)>
|
|
|
335 <!element author - o (name, thanks?, inst?, mail?,
|
|
|
336 (and, name, thanks?, inst?)*)>
|
|
|
337 <!element trans - o (name, thanks?, inst?,
|
|
|
338 (and, name, thanks?, inst?)*)>
|
|
|
339 <!element name o o (%inline) +(newline)>
|
|
|
340 <!element and - o empty>
|
|
|
341 <!element thanks - o (%inline)>
|
|
|
342 <!element inst - o (%inline) +(newline)>
|
|
|
343 <!element date - o (#pcdata) >
|
|
|
344 <!element tdate - o (#pcdata) >
|
|
|
345
|
|
|
346 <!element newline - o empty >
|
|
|
347 <!entity nl "<newline>">
|
|
|
348
|
|
|
349 <!-- Hacked by ono -->
|
|
|
350 <!element abstract - o (%inline, (p|noindent)*)+ +(newline)>
|
|
|
351
|
|
|
352
|
|
|
353 <!element toc - o empty>
|
|
|
354 <!element lof - o empty>
|
|
|
355 <!element lot - o empty>
|
|
|
356 <!element header - - (lhead, rhead) >
|
|
|
357 <!element lhead - o (%inline)>
|
|
|
358 <!element rhead - o (%inline)>
|
|
|
359 <!entity % sec-b "(p|noindent)*, (cindex|findex|vindex)* " >
|
|
|
360 <!entity % sect "heading, node?, %sec-b " >
|
|
|
361 <!element heading o o (%inline)>
|
|
|
362 <!element h1 - o (%sect, h2*) +(footnote)>
|
|
|
363 <!element h2 - o (%sect, h3*)>
|
|
|
364 <!element h3 - o (%sect, h4*)>
|
|
|
365 <!element h4 - o (%sect, h5*)>
|
|
|
366 <!element h5 - o (%sect)>
|
|
|
367 <!element node - o (heading)>
|
|
|
368 <!element cindex - o empty>
|
|
|
369 <!element findex - o empty>
|
|
|
370 <!element vindex - o empty>
|
|
|
371 <!element appendix - o empty >
|
|
|
372 <!element footnote - - (%inline)>
|
|
|
373 <!element cite - o empty>
|
|
|
374 <!attlist cite
|
|
|
375 id cdata #required>
|
|
|
376
|
|
|
377 <!element ncite - o empty>
|
|
|
378 <!attlist ncite
|
|
|
379 id cdata #required
|
|
|
380 note cdata #required>
|
|
|
381
|
|
|
382 <!element idx - - (#pcdata)>
|
|
|
383 <!element cdx - - (#pcdata)>
|
|
|
384
|
|
|
385 <!element biblio - o empty>
|
|
|
386 <!attlist biblio
|
|
|
387 style cdata "sinfo"
|
|
|
388 files cdata "">
|
|
|
389 <!element slides - - (slide*) >
|
|
|
390
|
|
|
391 <!attlist slides
|
|
|
392 opts cdata "null">
|
|
|
393 <!element slide - o (title?, p+) >
|
|
|
394 <!entity % addr "(address?, email?, phone?, fax?)" >
|
|
|
395
|
|
|
396 <!element letter - -
|
|
|
397 (from, %addr, to, %addr, cc?, subject?, sref?, rref?,
|
|
|
398 rdate?, opening, p+, closing, encl?, ps?)>
|
|
|
399
|
|
|
400 <!attlist letter
|
|
|
401 opts cdata "null">
|
|
|
402
|
|
|
403 <!element from - o (#pcdata) >
|
|
|
404 <!element to - o (#pcdata) >
|
|
|
405
|
|
|
406 <!element address - o (#pcdata) +(newline) >
|
|
|
407 <!element email - o (#pcdata) >
|
|
|
408 <!element phone - o (#pcdata) >
|
|
|
409 <!element fax - o (#pcdata) >
|
|
|
410
|
|
|
411 <!element subject - o (%inline;) >
|
|
|
412 <!element sref - o (#pcdata) >
|
|
|
413 <!element rref - o (#pcdata) >
|
|
|
414 <!element rdate - o (#pcdata) >
|
|
|
415
|
|
|
416 <!element opening - o (%inline;) >
|
|
|
417
|
|
|
418 <!element closing - o (%inline;) >
|
|
|
419 <!element cc - o (%inline;) +(newline) >
|
|
|
420 <!element encl - o (%inline;) +(newline) >
|
|
|
421
|
|
|
422 <!element ps - o (p+) >
|
|
|
423
|
|
|
424 <!element telefax - -
|
|
|
425 (from, %addr, to, address, email?,
|
|
|
426 phone?, fax, cc?, subject?,
|
|
|
427 opening, p+, closing, ps?)>
|
|
|
428
|
|
|
429 <!attlist telefax
|
|
|
430 opts cdata "null"
|
|
|
431 length cdata "2">
|
|
|
432
|
|
|
433 <!element notes - - (title?, p+) >
|
|
|
434 <!attlist notes
|
|
|
435 opts cdata "null" >
|
|
|
436
|
|
|
437 <!-- end of sinfo dtd -->
|
