annotate etc/sgml/sinfo.dtd @ 106:8ff55ebd4be9 r20-1b5

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