sinfo.dtd

   1 <!-- This is sinfo.dtd,
   2       by MORIOKA Tomohiko
   3       $Id: sinfo.dtd,v 6.1 1996/10/21 01:49:19 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 " >
  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  '&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 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 -->