|
8
|
1 <!-- This is sinfo.dtd,
|
|
|
2 by MORIOKA Tomohiko
|
|
10
|
3 $Id: sinfo.dtd,v 1.2 1996/12/29 00:14:54 steve Exp $
|
|
8
|
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
|
|
10
|
20 | report | inproc " >
|
|
8
|
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
|
|
10
|
31 " %par; | figure | table | faq | %mathpar; |
|
|
8
|
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>
|
|
10
|
104 <!element inproc - o empty>
|
|
|
105 <!attlist inproc
|
|
|
106 abbrev cdata #implied
|
|
|
107 author cdata #required
|
|
|
108 title-cn cdata #implied
|
|
|
109 title-en cdata #implied
|
|
|
110 title-fr cdata #implied
|
|
|
111 title-ja cdata #implied
|
|
|
112 book-cn cdata #implied
|
|
|
113 book-en cdata #implied
|
|
|
114 book-fr cdata #implied
|
|
|
115 book-ja cdata #implied
|
|
|
116 date cdata #implied>
|
|
8
|
117 <!element dl - - (dt,dd)+ >
|
|
|
118 <!element dt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
119 <!element dd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
|
|
|
120
|
|
|
121 <!element kl - - ((kt,kd)|(dt,dd))+ >
|
|
|
122 <!element kt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
123 <!element kd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
|
|
|
124
|
|
|
125 <!element vl - - (dt,dd)+ >
|
|
|
126
|
|
|
127 <!element li - o ((%inline; | %sectpar;)*, (p|noindent)*) >
|
|
|
128
|
|
|
129 <!element tag - o (%inline)>
|
|
|
130 <!entity space " ">
|
|
|
131 <!entity null "">
|
|
|
132
|
|
|
133 <!element faq - - (keyword?, (poster?, pdate?, (question| answer| coment)? )*)+>
|
|
|
134 <!element keyword - o (%inline;)*>
|
|
|
135 <!element poster - o (%inline;)*>
|
|
|
136 <!element pdate - o (%inline;)*>
|
|
|
137 <!element question - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
138 <!element answer - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
139 <!element coment - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
|
|
|
140
|
|
|
141 <!element figure - - ((eps | ph ), caption?)>
|
|
|
142 <!attlist figure
|
|
|
143 loc cdata "tbp">
|
|
|
144
|
|
|
145 <!-- eps attributes added by mb and td -->
|
|
|
146 <!element eps - o empty >
|
|
|
147 <!attlist eps
|
|
|
148 file cdata #required
|
|
|
149 height cdata "5cm"
|
|
|
150 angle cdata "0">
|
|
|
151
|
|
|
152 <!element ph - o empty >
|
|
|
153 <!attlist ph
|
|
|
154 vspace cdata #required>
|
|
|
155
|
|
|
156 <!element caption - o (%inline)>
|
|
|
157
|
|
|
158 <!element rowsep - o empty>
|
|
|
159 <!element colsep - o empty>
|
|
|
160 <!element hline - o empty>
|
|
|
161
|
|
|
162 <!entity rowsep "<rowsep>">
|
|
|
163 <!entity colsep "<colsep>">
|
|
|
164
|
|
|
165 <!element table - - (tabular, caption?) >
|
|
|
166 <!attlist table
|
|
|
167 loc cdata "tbp">
|
|
|
168
|
|
|
169 <!element code - - rcdata>
|
|
|
170 <!element verb - - rcdata>
|
|
|
171 <!element var - - rcdata>
|
|
|
172 <!element lisp - - rcdata>
|
|
|
173 <!element mail - - rcdata>
|
|
|
174 <!element file - - rcdata>
|
|
|
175 <!element kbd - - rcdata>
|
|
|
176 <!element key - - rcdata>
|
|
|
177
|
|
|
178 <!shortref ttmap -- also on one-line --
|
|
|
179 "B&#RE;" space
|
|
|
180 "&#RS;&#RE;" null
|
|
|
181 "&#RS;B&#RE;" null
|
|
|
182 "&#RS;B" null
|
|
|
183 '#' num
|
|
|
184 '%' percnt
|
|
|
185 '~' tilde
|
|
|
186 '_' lowbar
|
|
|
187 '^' circ
|
|
|
188 '{' lcub
|
|
|
189 '}' rcub
|
|
|
190 '|' verbar >
|
|
|
191
|
|
|
192 <!usemap ttmap tt>
|
|
|
193 <!element mc - - cdata >
|
|
|
194 <!entity % sppos "tu" >
|
|
|
195 <!entity % fcs "%sppos;|phr" >
|
|
|
196 <!entity % fcstxt "#pcdata|mc|%fcs;" >
|
|
|
197 <!entity % fscs "rf|v|fi" >
|
|
|
198 <!entity % limits "pr|in|sum" >
|
|
|
199 <!entity % fbu "fr|lim|ar|root" >
|
|
|
200 <!entity % fph "unl|ovl|sup|inf" >
|
|
|
201 <!entity % fbutxt "(%fbu;) | (%limits;) |
|
|
|
202 (%fcstxt;)|(%fscs;)|(%fph;)" >
|
|
|
203 <!entity % fphtxt "p|#pcdata" >
|
|
|
204 <!element f - - ((%fbutxt;)*) >
|
|
|
205
|
|
|
206 <!entity fendtag '</f>' -- formula end -- >
|
|
|
207
|
|
|
208 <!shortref fmap
|
|
|
209 "&#RS;B" null
|
|
|
210 "&#RS;B&#RE;" null
|
|
|
211 "&#RS;&#RE;" null
|
|
|
212 "_" thinsp
|
|
|
213 "~" nbsp
|
|
|
214 "]" fendtag
|
|
|
215 "#" num
|
|
|
216 "%" percnt
|
|
|
217 "^" circ
|
|
|
218 "{" lcub
|
|
|
219 "}" rcub
|
|
|
220 "|" verbar>
|
|
|
221
|
|
|
222 <!usemap fmap f >
|
|
|
223
|
|
|
224 <!element dm - - ((%fbutxt;)*)>
|
|
|
225 <!element eq - - ((%fbutxt;)*)>
|
|
|
226
|
|
|
227 <!shortref dmmap
|
|
|
228 "&#RE;" space
|
|
|
229 "_" thinsp
|
|
|
230 "~" nbsp
|
|
|
231 "]" fendtag
|
|
|
232 "#" num
|
|
|
233 "%" percnt
|
|
|
234 "^" circ
|
|
|
235 "{" lcub
|
|
|
236 "}" rcub
|
|
|
237 "|" verbar>
|
|
|
238
|
|
|
239 <!usemap dmmap (dm,eq)>
|
|
|
240 <!element fr - - (nu,de) >
|
|
|
241 <!element nu o o ((%fbutxt;)*) >
|
|
|
242 <!element de o o ((%fbutxt;)*) >
|
|
|
243 <!element sub o o ((%fbutxt;)*) >
|
|
|
244 <!element super o o ((%fbutxt;)*) >
|
|
|
245 <!element opd - o ((%fbutxt;)*) >
|
|
|
246 <!element pr - - (ll,u,opd?) >
|
|
|
247 <!element in - - (ll,u,opd?) >
|
|
|
248 <!element sum - - (ll,u,opd?) >
|
|
|
249 <!element lim - - (op,ll,u,opd?) >
|
|
|
250 <!element op o o (%fcstxt;|rf|%fph;) -(tu) >
|
|
|
251 <!element root - - ((%fbutxt;)*) >
|
|
|
252 <!attlist root
|
|
|
253 n cdata "">
|
|
|
254 <!element col o o ((%fbutxt;)*) >
|
|
|
255 <!element row o o (col, (arc, col)*) >
|
|
|
256
|
|
|
257 <!element ar - - (row, (arr, row)*) >
|
|
|
258 <!attlist ar
|
|
|
259 ca cdata #required >
|
|
|
260 <!element arr - o empty >
|
|
|
261 <!element arc - o empty >
|
|
|
262 <!entity arr "<arr>" >
|
|
|
263 <!entity arc "<arc>" >
|
|
|
264
|
|
|
265 <!shortref arrmap
|
|
|
266 "&#RE;" space
|
|
|
267 "@" arr
|
|
|
268 "|" arc
|
|
|
269 "_" thinsp
|
|
|
270 "~" nbsp
|
|
|
271 "#" num
|
|
|
272 "%" percnt
|
|
|
273 "^" circ
|
|
|
274 "{" lcub
|
|
|
275 "}" rcub >
|
|
|
276
|
|
|
277 <!usemap arrmap ar >
|
|
|
278 <!element sup - - ((%fbutxt;)*) -(tu) >
|
|
|
279 <!element inf - - ((%fbutxt;)*) -(tu) >
|
|
|
280 <!element unl - - ((%fbutxt;)*) >
|
|
|
281 <!element ovl - - ((%fbutxt;)*) >
|
|
|
282 <!element rf - o (#pcdata) >
|
|
|
283 <!element phr - o ((%fphtxt;)*) >
|
|
|
284 <!element v - o ((%fcstxt;)*)
|
|
|
285 -(tu|%limits;|%fbu;|%fph;) >
|
|
|
286 <!element fi - o (#pcdata) >
|
|
|
287 <!element tu - o empty >
|
|
|
288
|
|
|
289 <!element defun - - (args?,opts?,rest?,(p|noindent|newline)*)>
|
|
|
290 <!attlist defun
|
|
|
291 name cdata #required>
|
|
|
292 <!element args - o (#pcdata)>
|
|
|
293 <!element opts - o (#pcdata)>
|
|
|
294 <!element rest - o (#pcdata)>
|
|
|
295
|
|
|
296 <!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
|
|
|
297 <!attlist define
|
|
|
298 type cdata #required
|
|
|
299 name cdata #required>
|
|
|
300
|
|
|
301 <!element defvar - - ((p|noindent)+) >
|
|
|
302 <!attlist defvar
|
|
|
303 name cdata #required>
|
|
|
304 <!element prop - - (thtag?, p+) >
|
|
|
305 <!element lemma - - (thtag?, p+) >
|
|
|
306 <!element coroll - - (thtag?, p+) >
|
|
|
307 <!element proof - - (p+) >
|
|
|
308 <!element theorem - - (thtag?, p+) >
|
|
|
309 <!element thtag - - (%inline)>
|
|
|
310
|
|
|
311 <!entity qtag '<sq>' >
|
|
|
312
|
|
|
313 <!element label - o empty>
|
|
|
314 <!attlist label id cdata #required>
|
|
|
315
|
|
|
316 <!element concept - - cdata>
|
|
|
317
|
|
|
318 <!element a - - (p+)>
|
|
|
319 <!attlist a
|
|
|
320 file cdata #implied
|
|
|
321 node cdata #implied
|
|
|
322 href cdata #implied>
|
|
|
323
|
|
|
324 <!element cf - o empty>
|
|
|
325 <!attlist cf
|
|
|
326 file cdata #implied
|
|
|
327 node cdata #implied
|
|
|
328 href cdata #implied >
|
|
|
329
|
|
|
330 <!element ref - o empty>
|
|
|
331 <!attlist ref
|
|
|
332 file cdata #implied
|
|
|
333 node cdata #implied>
|
|
|
334
|
|
|
335 <!element dref - - cdata>
|
|
|
336 <!attlist dref
|
|
|
337 file cdata #implied>
|
|
|
338
|
|
|
339 <!element comment - - (%inline)>
|
|
|
340 <!element x - - ((#pcdata | mc)*) >
|
|
|
341 <!usemap #empty x >
|
|
|
342
|
|
|
343 <!-- Hacked by mdw, abstract now part of titlepag -->
|
|
|
344 <!element titlepag o o (title, author, date?, trans?, tdate?)>
|
|
|
345 <!element title - o (%inline, subtitle?) +(newline)>
|
|
|
346 <!element subtitle - o (%inline)>
|
|
|
347 <!element author - o (name, thanks?, inst?, mail?,
|
|
|
348 (and, name, thanks?, inst?)*)>
|
|
|
349 <!element trans - o (name, thanks?, inst?,
|
|
|
350 (and, name, thanks?, inst?)*)>
|
|
|
351 <!element name o o (%inline) +(newline)>
|
|
|
352 <!element and - o empty>
|
|
|
353 <!element thanks - o (%inline)>
|
|
|
354 <!element inst - o (%inline) +(newline)>
|
|
|
355 <!element date - o (#pcdata) >
|
|
|
356 <!element tdate - o (#pcdata) >
|
|
|
357
|
|
|
358 <!element newline - o empty >
|
|
|
359 <!entity nl "<newline>">
|
|
|
360
|
|
|
361 <!-- Hacked by ono -->
|
|
|
362 <!element abstract - o (%inline, (p|noindent)*)+ +(newline)>
|
|
|
363
|
|
|
364
|
|
|
365 <!element toc - o empty>
|
|
|
366 <!element lof - o empty>
|
|
|
367 <!element lot - o empty>
|
|
|
368 <!element header - - (lhead, rhead) >
|
|
|
369 <!element lhead - o (%inline)>
|
|
|
370 <!element rhead - o (%inline)>
|
|
|
371 <!entity % sec-b "(p|noindent)*, (cindex|findex|vindex)* " >
|
|
|
372 <!entity % sect "heading, node?, %sec-b " >
|
|
|
373 <!element heading o o (%inline)>
|
|
|
374 <!element h1 - o (%sect, h2*) +(footnote)>
|
|
|
375 <!element h2 - o (%sect, h3*)>
|
|
|
376 <!element h3 - o (%sect, h4*)>
|
|
|
377 <!element h4 - o (%sect, h5*)>
|
|
|
378 <!element h5 - o (%sect)>
|
|
|
379 <!element node - o (heading)>
|
|
|
380 <!element cindex - o empty>
|
|
|
381 <!element findex - o empty>
|
|
|
382 <!element vindex - o empty>
|
|
|
383 <!element appendix - o empty >
|
|
|
384 <!element footnote - - (%inline)>
|
|
|
385 <!element cite - o empty>
|
|
|
386 <!attlist cite
|
|
|
387 id cdata #required>
|
|
|
388
|
|
|
389 <!element ncite - o empty>
|
|
|
390 <!attlist ncite
|
|
|
391 id cdata #required
|
|
|
392 note cdata #required>
|
|
|
393
|
|
|
394 <!element idx - - (#pcdata)>
|
|
|
395 <!element cdx - - (#pcdata)>
|
|
|
396
|
|
|
397 <!element biblio - o empty>
|
|
|
398 <!attlist biblio
|
|
|
399 style cdata "sinfo"
|
|
|
400 files cdata "">
|
|
|
401 <!element slides - - (slide*) >
|
|
|
402
|
|
|
403 <!attlist slides
|
|
|
404 opts cdata "null">
|
|
|
405 <!element slide - o (title?, p+) >
|
|
|
406 <!entity % addr "(address?, email?, phone?, fax?)" >
|
|
|
407
|
|
|
408 <!element letter - -
|
|
|
409 (from, %addr, to, %addr, cc?, subject?, sref?, rref?,
|
|
|
410 rdate?, opening, p+, closing, encl?, ps?)>
|
|
|
411
|
|
|
412 <!attlist letter
|
|
|
413 opts cdata "null">
|
|
|
414
|
|
|
415 <!element from - o (#pcdata) >
|
|
|
416 <!element to - o (#pcdata) >
|
|
|
417
|
|
|
418 <!element address - o (#pcdata) +(newline) >
|
|
|
419 <!element email - o (#pcdata) >
|
|
|
420 <!element phone - o (#pcdata) >
|
|
|
421 <!element fax - o (#pcdata) >
|
|
|
422
|
|
|
423 <!element subject - o (%inline;) >
|
|
|
424 <!element sref - o (#pcdata) >
|
|
|
425 <!element rref - o (#pcdata) >
|
|
|
426 <!element rdate - o (#pcdata) >
|
|
|
427
|
|
|
428 <!element opening - o (%inline;) >
|
|
|
429
|
|
|
430 <!element closing - o (%inline;) >
|
|
|
431 <!element cc - o (%inline;) +(newline) >
|
|
|
432 <!element encl - o (%inline;) +(newline) >
|
|
|
433
|
|
|
434 <!element ps - o (p+) >
|
|
|
435
|
|
|
436 <!element telefax - -
|
|
|
437 (from, %addr, to, address, email?,
|
|
|
438 phone?, fax, cc?, subject?,
|
|
|
439 opening, p+, closing, ps?)>
|
|
|
440
|
|
|
441 <!attlist telefax
|
|
|
442 opts cdata "null"
|
|
|
443 length cdata "2">
|
|
|
444
|
|
|
445 <!element notes - - (title?, p+) >
|
|
|
446 <!attlist notes
|
|
|
447 opts cdata "null" >
|
|
|
448
|
|
|
449 <!-- end of sinfo dtd -->
|
