sinfo.dtd

   1 <!-- This is sinfo.dtd,
   2       by MORIOKA Tomohiko
   3       $Id: sinfo.dtd,v 6.3 1996/12/23 20:10:18 morioka 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 | inproc " >
  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 | %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  '&Auml;' >
  45 <!entity   ae  '&auml;' >
  46 <!entity   Oe  '&Ouml;' >
  47 <!entity   oe  '&ouml;' >
  48 <!entity   Ue  '&Uuml;' >
  49 <!entity   ue  '&uuml;' >
  50 <!entity   sz  '&szlig;' >
  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 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>
 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 -->