Change directory hierarchy.

diff --git a/dtd/CATALOG b/dtd/CATALOG
new file mode 100644 (file)
index 0000000..0887ccb
--- /dev/null
+++ b/dtd/CATALOG
@@ -0,0 +1 @@
+DOCTYPE SINFO                                          sinfo.dtd

diff --git a/dtd/sinfo.dtd b/dtd/sinfo.dtd
new file mode 100644 (file)
index 0000000..8580c0e
--- /dev/null
+++ b/dtd/sinfo.dtd
@@ -0,0 +1,449 @@
+<!-- This is sinfo.dtd,
+      by MORIOKA Tomohiko
+      $Id: sinfo.dtd,v 1.1 1998-09-15 01:24:21 morioka Exp $
+-->
+
+<!entity % emph 
+       "em|it|bf|sf|sl|tt|cparam|code|verb|var|mail|file|kbd|key">
+
+<!entity % index "idx|cdx" >
+
+<!-- url added by HG; htmlurl added by esr -->
+<!entity % xref
+       " a|label|ref|dref|cf|cite|ncite|concept " >
+
+<!entity % inline 
+       " (#pcdata | f| x| %emph; |sq| %xref | %index )* " >
+
+<!entity % list 
+        " list | ul | ol | dl | kl | vl | memo | lisp | rfc | standard
+        | report | inproc " >
+
+<!entity % par         
+       "  %list; | comment | lq | quote | tscreen " >
+
+<!entity % mathpar " dm | eq " >
+
+<!entity % thrm 
+        " defun | define | defvar | prop | lemma | coroll | proof | theorem " >
+
+<!entity % sectpar 
+        " %par; | figure | table | faq | %mathpar; | 
+         %thrm; ">
+<!element sinfo o o (head, body) >
+
+<!element head - - (titlepag, header?, toc?, lof?, lot?)>
+<!attlist head opts cdata "null">
+
+<!element body - - ( abstract?, (p|noindent)*, h1*,
+                       (appendix, h1+)?, biblio?) +(footnote)>
+<!attlist body opts cdata "null">
+
+<!entity % general system -- general purpose characters -- >
+%general;
+<!entity   Ae  '&Auml;' >
+<!entity   ae  '&auml;' >
+<!entity   Oe  '&Ouml;' >
+<!entity   oe  '&ouml;' >
+<!entity   Ue  '&Uuml;' >
+<!entity   ue  '&uuml;' >
+<!entity   sz  '&szlig;' >
+<!element  noindent o o (( %inline | %sectpar )+) +(newline) >
+<!element  p o o (( %inline | %sectpar )+) +(newline) >
+<!entity ptag '<p>' >
+<!entity psplit '</p><p>' >
+
+<!element em - - (%inline)>
+<!element bf - - (%inline)>
+<!element it - - (%inline)>
+<!element sf - - (%inline)>
+<!element sl - - (%inline)>
+<!element tt - - (%inline)>
+<!element sq - - (%inline)>
+<!element cparam - - (%inline)>
+
+<!entity   ftag     '<f>'    -- formula begin -- >
+<!entity   qendtag  '</sq>'>
+
+<!element lq - - ((p|noindent)*)>
+<!element quote - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
+<!element tscreen - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
+<!element ul - - (li+)>
+<!element ol - - (li+)>
+<!element list - - (li+)>
+<!element memo - - ((%inline; | %sectpar; )*, (p|noindent)*)+ >
+<!attlist memo title cdata "Memo">
+<!element rfc - o empty>
+<!attlist rfc
+         name cdata #implied
+         number cdata #required
+         type cdata #implied
+         author cdata #required
+         title cdata #required
+         date cdata #required
+         obsolete cdata #implied>
+<!element standard - o empty>
+<!attlist standard
+         abbrev   cdata #implied
+         org      cdata #implied
+         title-cn cdata #implied
+         title-en cdata #implied
+         title-fr cdata #implied
+         title-ja cdata #implied
+         number   cdata #required
+         year     cdata #implied>
+<!element report - o empty>
+<!attlist report
+         abbrev   cdata #implied
+         author   cdata #required
+         title-cn cdata #implied
+         title-en cdata #implied
+         title-fr cdata #implied
+         title-ja cdata #implied
+         date     cdata #implied>
+<!element inproc - o empty>
+<!attlist inproc
+         abbrev   cdata #implied
+         author   cdata #required
+         title-cn cdata #implied
+         title-en cdata #implied
+         title-fr cdata #implied
+         title-ja cdata #implied
+         book-cn  cdata #implied
+         book-en  cdata #implied
+         book-fr  cdata #implied
+         book-ja  cdata #implied
+         date     cdata #implied>
+<!element dl - - (dt,dd)+ >
+<!element dt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
+<!element dd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
+
+<!element kl - - ((kt,kd)|(dt,dd))+ >
+<!element kt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
+<!element kd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
+
+<!element vl - - (dt,dd)+ >
+
+<!element li - o ((%inline; | %sectpar;)*, (p|noindent)*) >
+
+<!element tag - o (%inline)>
+<!entity space " ">
+<!entity null "">
+
+<!element faq - - (keyword?, (poster?, pdate?, (question| answer| coment)? )*)+>
+<!element keyword - o (%inline;)*>
+<!element poster - o (%inline;)*>
+<!element pdate - o (%inline;)*>
+<!element question - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
+<!element answer - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
+<!element coment - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
+
+<!element figure - - ((eps | ph ), caption?)>
+<!attlist figure
+       loc cdata "tbp">
+
+<!-- eps attributes added by mb and td  -->
+<!element eps - o empty  >
+<!attlist eps
+        file cdata #required
+        height cdata "5cm"
+        angle cdata "0">
+
+<!element ph - o empty >
+<!attlist ph
+        vspace cdata #required>
+
+<!element caption - o (%inline)>
+
+<!element rowsep - o empty>
+<!element colsep - o empty>
+<!element hline  - o empty>
+
+<!entity rowsep "<rowsep>">
+<!entity colsep "<colsep>">
+
+<!element table   - - (tabular, caption?) >
+<!attlist table
+       loc cdata "tbp">
+
+<!element code - - rcdata>
+<!element verb - - rcdata>
+<!element var - - rcdata>
+<!element lisp - - rcdata>
+<!element mail - - rcdata>
+<!element file - - rcdata>
+<!element kbd - - rcdata>
+<!element key - - rcdata>
+
+<!shortref ttmap     -- also on one-line --
+        "B&#RE;" space
+        "&#RS;&#RE;" null 
+        "&#RS;B&#RE;" null
+       "&#RS;B" null
+        '#'     num
+        '%'     percnt
+        '~'     tilde
+        '_'     lowbar
+        '^'     circ
+        '{'     lcub
+        '}'     rcub
+        '|'     verbar >
+
+<!usemap ttmap  tt>
+<!element  mc  - - cdata >
+<!entity % sppos     "tu" >
+<!entity % fcs       "%sppos;|phr" >
+<!entity % fcstxt    "#pcdata|mc|%fcs;" >
+<!entity % fscs      "rf|v|fi" >
+<!entity % limits    "pr|in|sum" >
+<!entity % fbu       "fr|lim|ar|root" >
+<!entity % fph       "unl|ovl|sup|inf" >
+<!entity % fbutxt    "(%fbu;) | (%limits;) | 
+                      (%fcstxt;)|(%fscs;)|(%fph;)" >
+<!entity % fphtxt    "p|#pcdata" >
+<!element  f        - - ((%fbutxt;)*) >
+
+<!entity   fendtag  '</f>'   -- formula end -- >
+
+<!shortref fmap 
+      "&#RS;B" null
+      "&#RS;B&#RE;" null
+      "&#RS;&#RE;" null
+      "_" thinsp
+      "~" nbsp
+      "]" fendtag
+      "#" num
+      "%" percnt
+      "^" circ
+      "{" lcub
+      "}" rcub
+      "|" verbar>
+
+<!usemap   fmap     f >
+
+<!element  dm       - - ((%fbutxt;)*)>
+<!element  eq       - - ((%fbutxt;)*)>
+
+<!shortref dmmap
+     "&#RE;" space
+      "_" thinsp
+      "~" nbsp
+      "]" fendtag
+      "#" num
+      "%" percnt
+      "^" circ
+      "{" lcub
+      "}" rcub
+      "|" verbar>
+
+<!usemap dmmap (dm,eq)>
+<!element  fr       - - (nu,de) >
+<!element  nu       o o ((%fbutxt;)*) >
+<!element  de       o o ((%fbutxt;)*) >
+<!element  sub      o o ((%fbutxt;)*) >
+<!element  super    o o ((%fbutxt;)*) >
+<!element  opd      - o ((%fbutxt;)*) >
+<!element  pr       - - (ll,u,opd?) >
+<!element  in       - - (ll,u,opd?) >
+<!element  sum      - - (ll,u,opd?) >
+<!element  lim      - - (op,ll,u,opd?) >
+<!element  op       o o (%fcstxt;|rf|%fph;) -(tu) >
+<!element  root     - - ((%fbutxt;)*) >
+<!attlist  root
+        n cdata "">
+<!element col o o ((%fbutxt;)*) >
+<!element row o o (col, (arc, col)*) >
+
+<!element  ar       - - (row, (arr, row)*) >
+<!attlist  ar
+    ca     cdata    #required >
+<!element  arr      - o empty >
+<!element  arc      - o empty >
+<!entity   arr "<arr>" >
+<!entity   arc "<arc>" >
+
+<!shortref arrmap
+     "&#RE;" space
+      "@" arr
+      "|" arc 
+      "_" thinsp
+      "~" nbsp
+      "#" num
+      "%" percnt
+      "^" circ
+      "{" lcub
+      "}" rcub >
+
+<!usemap   arrmap   ar >
+<!element  sup      - - ((%fbutxt;)*) -(tu) >
+<!element  inf      - - ((%fbutxt;)*) -(tu) >
+<!element  unl - - ((%fbutxt;)*) >
+<!element  ovl - - ((%fbutxt;)*) >
+<!element  rf  - o (#pcdata) >
+<!element  phr - o ((%fphtxt;)*) >
+<!element  v   - o ((%fcstxt;)*) 
+       -(tu|%limits;|%fbu;|%fph;) >
+<!element  fi  - o (#pcdata) >
+<!element  tu  - o empty >
+
+<!element defun - - (args?,opts?,rest?,(p|noindent|newline)*)>
+<!attlist defun
+         name cdata #required>
+<!element args - o (#pcdata)>
+<!element opts - o (#pcdata)>
+<!element rest - o (#pcdata)>
+
+<!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
+<!attlist define
+         type cdata #required
+         name cdata #required>
+
+<!element defvar - - ((p|noindent)+) >
+<!attlist defvar
+         name cdata #required>
+<!element prop - - (thtag?, p+) >
+<!element lemma - - (thtag?, p+) >
+<!element coroll - - (thtag?, p+) >
+<!element proof - - (p+) >
+<!element theorem - - (thtag?, p+) >
+<!element thtag - - (%inline)>
+
+<!entity   qtag     '<sq>' >
+
+<!element label - o empty>
+<!attlist label id cdata #required>
+
+<!element concept - - cdata>
+
+<!element a - - (p+)>
+<!attlist a
+         file cdata #implied
+         node cdata #implied
+         href cdata #implied>
+
+<!element cf - o empty>
+<!attlist cf
+         file cdata #implied
+         node cdata #implied
+         href cdata #implied >
+
+<!element ref - o empty>
+<!attlist ref
+         file cdata #implied
+         node cdata #implied>
+
+<!element dref - - cdata>
+<!attlist dref
+         file cdata #implied>
+
+<!element comment - - (%inline)>
+<!element x - - ((#pcdata | mc)*) >
+<!usemap   #empty   x >
+
+<!-- Hacked by mdw, abstract now part of titlepag -->
+<!element titlepag o o (title, author, date?, trans?, tdate?)>
+<!element title - o (%inline, subtitle?) +(newline)>
+<!element subtitle - o (%inline)>
+<!element author - o (name, thanks?, inst?, mail?,
+                        (and, name, thanks?, inst?)*)>
+<!element trans - o (name, thanks?, inst?, 
+                        (and, name, thanks?, inst?)*)>
+<!element name o o (%inline) +(newline)>
+<!element and - o empty>
+<!element thanks - o (%inline)>
+<!element inst - o (%inline) +(newline)>
+<!element date - o (#pcdata) >
+<!element tdate - o (#pcdata) >
+
+<!element newline - o empty >
+<!entity nl "<newline>"> 
+
+<!-- Hacked by ono -->
+<!element abstract - o (%inline, (p|noindent)*)+ +(newline)>
+
+
+<!element toc - o empty>
+<!element lof - o empty>
+<!element lot - o empty>
+<!element header - - (lhead, rhead) >
+<!element lhead - o (%inline)>
+<!element rhead - o (%inline)>
+<!entity % sec-b "(p|noindent)*, (cindex|findex|vindex)* " >
+<!entity % sect "heading, node?, %sec-b " >
+<!element heading o o (%inline)>
+<!element h1  - o (%sect, h2*) +(footnote)>
+<!element h2 - o (%sect, h3*)>
+<!element h3 - o (%sect, h4*)>
+<!element h4 - o (%sect, h5*)>
+<!element h5 - o (%sect)>
+<!element node - o (heading)>
+<!element cindex - o empty>
+<!element findex - o empty>
+<!element vindex - o empty>
+<!element appendix - o empty >
+<!element footnote - - (%inline)>
+<!element cite - o empty>
+<!attlist cite 
+        id cdata #required>
+
+<!element ncite - o empty>
+<!attlist ncite 
+        id cdata #required
+       note cdata #required>
+
+<!element idx - - (#pcdata)>
+<!element cdx - - (#pcdata)>
+
+<!element biblio - o empty>
+<!attlist biblio
+       style cdata "sinfo"
+        files cdata "">
+<!element slides - - (slide*) >
+
+<!attlist slides
+       opts cdata "null">
+<!element slide - o (title?, p+) >
+<!entity  % addr "(address?, email?, phone?, fax?)" >  
+       
+<!element letter - - 
+       (from, %addr, to, %addr, cc?, subject?, sref?, rref?,
+         rdate?, opening, p+, closing, encl?, ps?)>
+
+<!attlist letter
+       opts cdata "null">
+       
+<!element from         - o (#pcdata) >
+<!element to           - o (#pcdata) >
+       
+<!element address      - o (#pcdata) +(newline) >
+<!element email                - o (#pcdata) >
+<!element phone                - o (#pcdata) >
+<!element fax          - o (#pcdata) >
+       
+<!element subject      - o (%inline;) >
+<!element sref         - o (#pcdata) >
+<!element rref          - o (#pcdata) >
+<!element rdate         - o (#pcdata) >
+       
+<!element opening      - o (%inline;) >
+       
+<!element closing - o (%inline;) >
+<!element cc - o (%inline;) +(newline) >
+<!element encl - o (%inline;) +(newline) >
+       
+<!element ps - o (p+) >
+
+<!element telefax - - 
+       (from, %addr, to, address, email?, 
+         phone?, fax, cc?, subject?,
+         opening, p+, closing, ps?)>
+
+<!attlist telefax
+       opts cdata "null"
+       length cdata "2">
+
+<!element notes - - (title?, p+) >
+<!attlist notes
+       opts cdata "null" >
+
+<!-- end of sinfo dtd -->

diff --git a/rep/html/general b/rep/html/general
new file mode 100644 (file)
index 0000000..dce61ac
--- /dev/null
+++ b/rep/html/general
@@ -0,0 +1,206 @@
+<!entity AElig sdata "&AElig;" >
+<!entity Aacute sdata "&Aacute;" >
+<!entity Acirc sdata "&Acirc;" >
+<!entity Agrave sdata "&Agrave;" >
+<!entity Atilde sdata "&Atilde;" >
+<!entity Auml sdata '&Auml;' >
+<!entity Ccedil sdata "&Ccedil;" >
+<!entity Delta sdata "&Delta;" >
+<!entity Eacute sdata "&Eacute;" >
+<!entity Egrave sdata "&Egrave;" >
+<!entity Euml sdata '&Euml;' >
+<!entity Gamma sdata "&Gamma;" >
+<!entity Iacute sdata "&Iacute;" >
+<!entity Icirc sdata "&Icirc;" >
+<!entity Igrave sdata "&Igrave;" >
+<!entity Iuml sdata '&Iuml;' >
+<!entity Ntilde sdata "&Ntilde;" >
+<!entity Oacute sdata "&Oacute;" >
+<!entity Ocirc sdata "&Ocirc;" >
+<!entity Ograve sdata "&Ograve;" >
+<!entity Omega sdata "&Omega;" >
+<!entity Oslash sdata "&Oslash;" >
+<!entity Otilde sdata "&Otilde;" >
+<!entity Ouml sdata '&Ouml;' >
+<!entity Phi sdata "&Phi;" >
+<!entity Pi sdata "&Pi;" >
+<!entity Prime sdata "&Prime;" >
+<!entity Prod sdata "&Prod;" >
+<!entity Psi sdata "&Psi;" >
+<!entity Sigma sdata "&Sigma;" >
+<!entity Sum sdata "&Sum;" >
+<!entity Theta sdata "&Theta;" >
+<!entity Uacute sdata "&Uacute;" >
+<!entity Ugrave sdata "&Ugrave;" >
+<!entity Upsi sdata "&Upsi;" >
+<!entity Uuml sdata '&Uuml;' >
+<!entity Xi sdata "&Xi;" >
+<!entity Yacute sdata "&Yacute;" >
+<!entity aacute sdata "&aacute;" >
+<!entity acirc sdata "&acirc;" >
+<!entity aelig sdata "&aelig;" >
+<!entity agrave sdata "&agrave;" >
+<!entity aleph sdata "&aleph;" >
+<!entity alpha sdata "&alpha;" >
+<!entity amp sdata "&amp;" >
+<!entity and sdata "&and;" >
+<!entity ang sdata "&ang;" >
+<!entity ap sdata "&ap;" >
+<!entity aring sdata "&aring;" >
+<!entity ast sdata "&ast;" >
+<!entity atilde sdata "&atilde;" >
+<!entity auml sdata '&auml;' >
+<!entity beta sdata "&beta;" >
+<!entity bottom sdata "&bottom;" >
+<!entity bsol sdata "\" >
+<!entity bull sdata "&bull;" >
+<!entity cap sdata "&cap;" >
+<!entity ccedil sdata "&ccedil;" >
+<!entity cent sdata "&cent;" >
+<!entity chi sdata "&chi;" >
+<!entity cir sdata "&cir;" >
+<!entity circ sdata "&circ;" >
+<!entity clubs sdata "&clubs;" >
+<!entity colon sdata "&colon;" >
+<!entity comma sdata "&comma;" >
+<!entity commat sdata "@" -- was: "&commat;" -->
+<!entity congr sdata "&congr;" >
+<!entity copy sdata "(c)" >
+<!entity cup sdata "&cup;" >
+<!entity dArr sdata "&dArr;" >
+<!entity darr sdata "&darr;" >
+<!entity delta sdata "&delta;" >
+<!entity diams sdata "&diams;" >
+<!entity divide sdata "&divide;" >
+<!entity dollar sdata "$" >
+<!entity dot sdata "&dot;" >
+<!entity dquot sdata "&quot;" >
+<!entity eacute sdata "&eacute;" >
+<!entity ecirc sdata "&ecirc;" >
+<!entity egrave sdata "&egrave;" >
+<!entity empty sdata "&empty;" >
+<!entity emsp sdata "&emsp;" >
+<!entity ensp sdata "&ensp;" >
+<!entity epsi sdata "&epsi;" >
+<!entity equals sdata "&equals;" >
+<!entity equiv sdata "&equiv;" >
+<!entity ero sdata "&amp;" >
+<!entity eta sdata "&eta;" >
+<!entity etago sdata "&lt;/" >
+<!entity euml sdata '&euml;' >
+<!entity exist sdata "&exist;" >
+<!entity forall sdata "&forall;" >
+<!entity gamma sdata "&gamma;" >
+<!entity ge sdata "&ge;" >
+<!entity gt sdata "&gt;" >
+<!entity hArr sdata "&hArr;" >
+<!entity harr sdata "&harr;" >
+<!entity hearts sdata "&hearts;" >
+<!entity hellip sdata "..." >
+<!entity hyphen sdata "&hyphen;" >
+<!entity iacute sdata "&iacute;" >
+<!entity icirc sdata "&icirc;" >
+<!entity iexcl sdata "&iexcl;" >
+<!entity igrave sdata "&igrave;" >
+<!entity image sdata "&image;" >
+<!entity infin sdata "&infin;" >
+<!entity int sdata "&int;" >
+<!entity iota sdata "&iota;" >
+<!entity iquest sdata "&iquest;" >
+<!entity isin sdata "&isin;" >
+<!entity iuml sdata '&iuml;' >
+<!entity kappa sdata "&kappa;" >
+<!entity lArr sdata "&lArr;" >
+<!entity lambda sdata "&lambda;" >
+<!entity lang sdata "&lang;" >
+<!entity larr sdata "&larr;" >
+<!entity lcub sdata "{" >
+<!entity le sdata "&le;" >
+<!entity lowbar sdata "_" >
+<!entity lpar sdata "&lpar;" >
+<!entity lsqb sdata "[" >
+<!entity lt sdata "&lt;" >
+<!entity mdash sdata "&mdash;" >
+<!entity mid sdata "&mid;" >
+<!entity minus sdata "&minus;" >
+<!entity mu sdata "&mu;" >
+<!entity nabla sdata "&nabla;" >
+<!entity nbsp sdata "&nbsp" -- was: "~" -->
+<!entity ndash sdata "&ndash;" >
+<!entity ne sdata "&ne;" >
+<!entity nequiv sdata "&nequiv;" >
+<!entity not sdata "&not;" >
+<!entity notin sdata "&notin;" >
+<!entity nsub sdata "&nsub;" >
+<!entity nsube sdata "&nsube;" >
+<!entity nsup sdata "&nsup;" >
+<!entity nsupe sdata "&nsupe;" >
+<!entity ntilde sdata "&ntilde;" >
+<!entity nu sdata "&nu;" >
+<!entity num sdata "#" >
+<!entity nvDash sdata "&nvDash;" >
+<!entity nvdash sdata "&nvdash;" >
+<!entity oacute sdata "&oacute;" >
+<!entity ocirc sdata "&ocirc;" >
+<!entity ograve sdata "&ograve;" >
+<!entity omega sdata "&omega;" >
+<!entity oplus sdata "&oplus;" >
+<!entity or sdata "&or;" >
+<!entity oslash sdata "&oslash;" >
+<!entity otilde sdata "&otilde;" >
+<!entity otimes sdata "&otimes;" >
+<!entity ouml sdata '&ouml;' >
+<!entity para sdata "&para;" >
+<!entity part sdata "&part;" >
+<!entity percnt sdata "%" >
+<!entity phis sdata "&phis;" >
+<!entity pi sdata "&pi;" >
+<!entity plus sdata "&plus;" >
+<!entity plusmn sdata "&plusmn;" >
+<!entity pound sdata "£" >
+<!entity prime sdata "&prime;" >
+<!entity prop sdata "&prop;" >
+<!entity psi sdata "&psi;" >
+<!entity quot sdata "'" >
+<!entity rArr sdata "&rArr;" >
+<!entity rang sdata "&rang;" >
+<!entity rarr sdata "-&gt;" >
+<!entity rcub sdata "}" >
+<!entity real sdata "&real;" >
+<!entity refnam sdata "<@@refnam>" >
+<!entity rho sdata "&rho;" >
+<!entity rpar sdata "&rpar;" >
+<!entity rsqb sdata "]" >
+<!entity sect sdata "&sect;" >
+<!entity semi sdata "&semi;" >
+<!entity setmn sdata "&setmn;" >
+<!entity sigma sdata "&sigma;" >
+<!entity sigmav sdata "&sigmav;" >
+<!entity spades sdata "&spades;" >
+<!entity square sdata "&square;" >
+<!entity sub sdata "&sub;" >
+<!entity sube sdata "&sube;" >
+<!entity sup sdata "&sup;" >
+<!entity supe sdata "&supe;" >
+<!entity szlig sdata "&szlig;" >
+<!entity tau sdata "&tau;" >
+<!entity thetas sdata "&thetas;" >
+<!entity thinsp sdata "&thinsp;" >
+<!entity tilde sdata "~" >
+<!entity times sdata "&times;" >
+<!entity tm sdata "[TM]" >
+<!entity uArr sdata "&uArr;" >
+<!entity uacute sdata "&uacute;" >
+<!entity uarr sdata "&uarr;" >
+<!entity ucirc sdata "&ucirc;" >
+<!entity ugrave sdata "&ugrave;" >
+<!entity upsi sdata "&upsi;" >
+<!entity urlnam sdata "<@@urlnam>" >
+<!entity uuml sdata '&uuml;' >
+<!entity vDash sdata "&vDash;" >
+<!entity vdash sdata "&vdash;" >
+<!entity verbar sdata "|" >
+<!entity xi sdata "&xi;" >
+<!entity yacute sdata "&yacute;" >
+<!entity yuml sdata '&yuml;' >
+<!entity zeta sdata "&zeta;" >

diff --git a/rep/html/mapping b/rep/html/mapping
new file mode 100644 (file)
index 0000000..cb9038c
--- /dev/null
+++ b/rep/html/mapping
@@ -0,0 +1,319 @@
+% sinfo to HTML replacement file
+% by MORIOKA Tomohiko
+% $Id: mapping,v 1.1 1998-09-15 01:24:37 morioka Exp $:
+
+<qwertz>       +     
+</qwertz>      +
+
+<head>         "<head>"        +
+</head>                "<hr>"          +
+
+<title>                "<title>"
+</title>       "</title>\n</head>\n<body>"     +
+
+<author>
+</author>      "<br>"  +
+
+<date>
+</date>                "<br>"  +
+
+<body>
+</body>                "</body>"       +
+
+<abstract>     +       "<cite>"                +
+</abstract>    +       "</cite>"               +
+
+<name>         
+</name>
+
+<and>
+</and>
+
+<thanks>
+</thanks>
+
+<inst>
+</inst>
+
+<sect>         + "<sect>"
+
+<h1>           "<h1>"
+</h1>
+
+<h2>           "<h2>"
+</h2>
+
+<h3>           "<h3>"
+</h3>
+
+<h4>           "<h4>"
+</h4>
+
+<h5>           "<h5>"
+</h4>
+
+<node>         "<a name=\"#"
+</node>                "\"></a>"
+
+<p>            + "<p>"
+</p>           +
+
+<noindent>
+</noindent>            
+
+<ul>           "<ul>"  +
+</ul>          "</ul>"
+
+<ol>           "<ol>"  +
+</ol>          "</ol>"
+
+<dl>   +       "<dl>"  +
+</dl>          "</dl>"
+<dt>   +       "<dt>"
+<dd>           "<dd>"
+</dd>
+<vl>   +       "<dl>"  +
+</vl>  +       "</dl>"
+<kl>   +       "<dl>"  +
+</kl>          "</dl>"
+<kt>   +       "<dt>"
+<kd>           "<dd>"
+</kd>
+<li>           "<li>"
+</li>          +
+
+<bf>           <bf>
+</bf>          </bf>
+
+<it>           <it>
+</it>          </it>
+
+<sf>           <sf>
+</sf>          </sf>
+
+<sl>           <sl>
+</sl>          </sl>
+
+<rm>           <rm>
+</rm>          </rm>
+
+<tt>           <tt>
+</tt>          </tt>
+
+<a>            <a href="[href]" href="[file]#[node]">
+</a>           </a>
+
+<cf>           "(cf. <a href=\"[href]\" href=\"[file]#[node]\">"
+</cf>          "</a>)" +
+
+<ref>          "@ref{([file])[node]}"
+</ref>
+
+<dref>         "@DREF{([file])"
+</dref>                "}@end DREF{@refill}"
+
+<x>    
+</x>
+
+<mc>                   
+</mc>
+
+<biblio>
+</biblio>
+
+<code>                 "<code>"
+</code>                        "</code>"
+
+<verb>         +       "<pre>" +
+</verb>                +       "</pre>"        +
+
+<tscreen>      +       "@example"      +
+</tscreen>     +       "@end example"  +
+
+<quote>                +       "@quotation"    +
+</quote>        +       "@end quotation" +
+
+% theorems and such
+
+<def>          +       "@deffn"
+</def>         +       "@end deffn"            +
+
+<defun>                +       "@defun [name]"
+</defun>       +       "@end defun"            +
+
+<opts>                 " &optional "
+<rest>                 " &rest "
+
+<define>       +       "@deffn{[type]} [name]"
+</define>      +       "@end deffn"            +
+
+<defvar>       +       "@defvar [name]"        +
+</defvar>      +       "@end defvar"           +
+
+<prop>         +       "\\begin{proposition}"  +
+</prop>                +       "\\end{proposition}"    +
+
+<lemma>                +       "\\begin{lemma}"
+</lemma>       +       "\\end{lemma}\n\n"      +
+
+<coroll>       +       "\\begin{corollary}"
+</coroll>      +       "\\end{corollary}\n\n"  +
+
+<proof>                +       "\n{\\noindent{\\bf Proof.}  "  +
+</proof>       +       "}"
+
+<theorem>      +       "\\begin{theorem}"
+</theorem>     +       "\\end{theorem}\n\n"    +
+
+<thtag>                        "\["
+</thtag>               "\]"                    +
+
+<var>                  "@var{"
+</var>                 "}"
+
+<lisp>         +       "@lisp"         +
+</lisp>                +       "@end lisp"     +
+
+<mail>                 "<address>"
+</mail>                        "</address>"
+
+<file>                 "@file{"
+</file>                        "}"
+
+<kbd>                  "<kbd>"
+</kbd>                 "</kbd>"
+
+<key>                  "@key{"
+</key>                 "}"
+
+<memo>         +       "<strong>\[[title]\]</strong>\n<blockquote>"    +
+</memo>                +       "</blockquote>" +
+
+<rfc>          "@cindex{[name]}@cindex{[type]}@cindex{RFC [number]}\n@noindent\n\[[name]: RFC [number]\]\n@quotation\n[author], ``[title]'', [date], [type] (obsolete RFC [obsolete]).\n@end quotation"        +
+
+<standard>     "@cindex{[abbrev]}@cindex{[number]:[year]}\n@noindent\n\[[abbrev]]\n@quotation\n[org],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [number]:[year].\n@end quotation"      +
+
+<report>       "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [date].\n@end quotation"    +
+
+<inproc>       "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [book-cn], [book-en], [book-ja], [book-fr], [date].\n@end quotation"        +
+
+% mathematics 
+
+<f>                    "$"
+</f>                   "$"
+
+<dm>           +       "\\\["  
+</dm>                  "\\\]"  +
+
+<eq>           +       "\\begin{equation}"     +
+</eq>          +       "\\end{equation}\n"     +
+
+<fr>                   "\\frac"
+</fr>          
+
+<nu>                   "{"
+</nu>                  "}"
+
+<de>                   "{"
+</de>                  "}"
+
+<lim>                  
+</lim>
+
+<op>
+</op>
+
+<sub>                  "_{"
+</sub>                 "}"
+
+<super>                        "^{"
+</super>               "}"
+
+<opd>
+</opd>
+
+<pr>                   "\\prod"
+</pr>
+
+<in>                   "\\int"
+</in>
+
+<sum>                  "\\sum"
+</sum>         
+
+<root>                 "\\sqrt\[[n]\]{"
+</root>                        "}"
+
+<ar>           +       "\\begin{array}{[ca]}"  +
+</ar>          +       "\\end{array}"          +
+
+<arr>                   " \\\\ " +
+</arr>
+
+<arc>                   " & "
+</arc>
+
+
+<sup>                  "^("
+</sup>                 ")"
+
+<inf>                  "_("
+</inf>                 ")"
+
+<unl>                  "*"
+</unl>                 "*"
+
+<ovl>                  "ol("
+</ovl>                 ")"
+
+<rf>                   "\\mbox{\\tt "
+</rf>                  "}"
+
+<v>                    "\\vec{"
+</v>                   "}"
+
+<fi>                   ""
+</fi>                  ""
+
+<phr>                  "{@r{}"
+</phr>                 "}"
+
+<tu>                   "\\\\ \n"
+</tu>
+
+% figures
+
+<figure>       +       "\\begin{figure}\[[LOC]\]"      +
+</figure>      +       "\\end{figure}\n"               +
+
+<eps>          +       "\\centerline{\\epsffile{[FILE].ps}}"  +
+</eps>                 
+               
+
+<ph>           +       "\\vspace{[VSPACE]}\n\\par"     +
+</ph>  
+
+<caption>      +       "\\caption{"
+</caption>             "}"     +
+
+% tables
+
+<table>                +       "\\begin{table}\[[LOC]\]"       +
+</table>       +       "\\end{table}"          +
+
+<tabular>      +       "\\begin{center}\n"
+                       "\\begin{tabular}{[ca]}"        +
+</tabular>     +       "\\end{tabular}\n"
+                       "\\end{center}"         +
+
+<rowsep>               "\\\\ "         +
+</rowsep>
+
+<colsep>               "& "
+</colsep>
+
+<hline>                +       "\\hline"       +
+</hline>
+
+% end of texinfo replacement file
+

diff --git a/rep/texi/general b/rep/texi/general
new file mode 100644 (file)
index 0000000..bfd42e0
--- /dev/null
+++ b/rep/texi/general
@@ -0,0 +1,208 @@
+<!-- texinfo translation for general purpose qwertz characters. -->
+<!entity AElig sdata "AE" >
+<!entity Aacute sdata "A" >
+<!entity Acirc sdata "A" >
+<!entity Agrave sdata "A" >
+<!entity Atilde sdata "A" >
+<!entity Auml sdata "Ae" >
+<!entity Ccedil sdata "C" >
+<!entity Delta sdata "Delta " >
+<!entity Eacute sdata "E" >
+<!entity Egrave sdata "E" >
+<!entity Euml sdata "E" >
+<!entity Gamma sdata "Gamma" >
+<!entity Iacute sdata "I" >
+<!entity Icirc sdata "I" >
+<!entity Igrave sdata "I" >
+<!entity Iuml sdata "I" >
+<!entity Ntilde sdata "N" >
+<!entity Oacute sdata "O" >
+<!entity Ocirc sdata "O" >
+<!entity Ograve sdata "O" >
+<!entity Omega sdata "Omega" >
+<!entity Oslash sdata "O" >
+<!entity Otilde sdata "O" >
+<!entity Ouml sdata "Oe" >
+<!entity Phi sdata "Phi" >
+<!entity Pi sdata "Pi" >
+<!entity Prime sdata "''" >
+<!entity Prod sdata "prod" >
+<!entity Psi sdata "Psi" >
+<!entity Sigma sdata "Sigma" >
+<!entity Sum sdata "sum" >
+<!entity Theta sdata "Theta" >
+<!entity Uacute sdata "U" >
+<!entity Ugrave sdata "U" >
+<!entity Upsi sdata "Upsi" >
+<!entity Uuml sdata "Ue" >
+<!entity Xi sdata "Xi" >
+<!entity Yacute sdata "Y" >
+<!entity aacute sdata "a" >
+<!entity acirc sdata "a" >
+<!entity aelig sdata "ae" >
+<!entity agrave sdata "a" >
+<!entity aleph sdata "aleph" >
+<!entity alpha sdata "alpha" >
+<!entity amp sdata "&" >
+<!entity and sdata "and" >
+<!entity ang sdata "ang" >
+<!entity ap sdata "~" >
+<!entity aring sdata "a" >
+<!entity ast sdata "*" >
+<!entity atilde sdata "a" >
+<!entity auml sdata "ae" >
+<!entity beta sdata "beta" >
+<!entity bottom sdata "bottom" >
+<!entity bsol sdata "\" >
+<!entity bull sdata "-" >
+<!entity bull sdata "bull" >
+<!entity cap sdata "cap" >
+<!entity ccedil sdata "c" >
+<!entity cent sdata "cent" >
+<!entity chi sdata "chi" >
+<!entity cir sdata "o" >
+<!entity circ sdata "^" >
+<!entity clubs sdata "clubs" >
+<!entity colon sdata ":" >
+<!entity comma sdata "," >
+<!entity commat sdata "@@" >
+<!entity congr sdata "~=" >
+<!entity copy sdata "@copyright{}" >
+<!entity cup sdata "cup" >
+<!entity dArr sdata "dArr" >
+<!entity darr sdata "darr" >
+<!entity delta sdata "delta" >
+<!entity diams sdata "diams" >
+<!entity divide sdata "/" >
+<!entity dollar sdata "$" >
+<!entity dot sdata "·" >
+<!entity dquot sdata '"' >
+<!entity eacute sdata "e" >
+<!entity ecirc sdata "e" >
+<!entity egrave sdata "e" >
+<!entity empty sdata "{}" >
+<!entity emsp sdata " " >
+<!entity ensp sdata " " >
+<!entity epsi sdata "epsi" >
+<!entity equals sdata "=" >
+<!entity equiv sdata "==" >
+<!entity ero sdata "&" >
+<!entity eta sdata "eta" >
+<!entity etago sdata "</" >
+<!entity euml sdata "e" >
+<!entity exist sdata "exist" >
+<!entity forall sdata "forall" >
+<!entity gamma sdata "gamma" >
+<!entity ge sdata ">=" >
+<!entity gt sdata ">" >
+<!entity hArr sdata "<=>" >
+<!entity harr sdata "<->" >
+<!entity hearts sdata "hearts" >
+<!entity hellip sdata "@dots{}" >
+<!entity hyphen sdata "-" >
+<!entity iacute sdata "i" >
+<!entity icirc sdata "i" >
+<!entity iexcl sdata "!" >
+<!entity igrave sdata "i" >
+<!entity image sdata "image" >
+<!entity infin sdata "infin" >
+<!entity int sdata "int" >
+<!entity iota sdata "iota" >
+<!entity iquest sdata "?" >
+<!entity isin sdata "isin" >
+<!entity iuml sdata "i" >
+<!entity kappa sdata "kappa" >
+<!entity lArr sdata "<=" >
+<!entity lambda sdata "lambda" >
+<!entity lang sdata "(" >
+<!entity larr sdata "<-" >
+<!entity lcub sdata "@{" >
+<!entity le sdata "<=" >
+<!entity lowbar sdata "_" >
+<!entity lpar sdata "(" >
+<!entity lsqb sdata "[" >
+<!entity lt sdata "<" >
+<!entity mdash sdata "--" >
+<!entity mid sdata "|" >
+<!entity minus sdata "-" >
+<!entity mu sdata "u" >
+<!entity nabla sdata "nabla" >
+<!entity nbsp sdata " " >
+<!entity ndash sdata "-" >
+<!entity ne sdata "=/=" >
+<!entity nequiv sdata "<>" >
+<!entity not sdata "~" >
+<!entity notin sdata "notin" >
+<!entity nsub sdata "nsub" >
+<!entity nsube sdata "nsube" >
+<!entity nsup sdata "nsup" >
+<!entity nsupe sdata "nsupe" >
+<!entity ntilde sdata "n" >
+<!entity nu sdata "nu" >
+<!entity num sdata "#" >
+<!entity nvDash sdata "nvDash" >
+<!entity nvdash sdata "nvdash" >
+<!entity oacute sdata "o" >
+<!entity ocirc sdata "o" >
+<!entity ograve sdata "o" >
+<!entity omega sdata "omega" >
+<!entity oplus sdata "oplus" >
+<!entity or sdata "or" >
+<!entity oslash sdata "o" >
+<!entity otilde sdata "o" >
+<!entity otimes sdata "otimes" >
+<!entity ouml sdata "oe" >
+<!entity para sdata "par" >
+<!entity part sdata "part" >
+<!entity percnt sdata "%" >
+<!entity phis sdata "phis" >
+<!entity pi sdata "pi" >
+<!entity plus sdata "+" >
+<!entity plusmn sdata "+-" >
+<!entity pound sdata "pound" >
+<!entity prime sdata "'" >
+<!entity prop sdata "prop" >
+<!entity psi sdata "psi" >
+<!entity quot sdata "'" >
+<!entity rArr sdata "=>" >
+<!entity rang sdata ")" >
+<!entity rarr sdata "->" >
+<!entity rcub sdata "@}" >
+<!entity real sdata "real" >
+<!entity refnam sdata "" >
+<!entity rho sdata "rho" >
+<!entity rpar sdata ")" >
+<!entity rsqb sdata "]" >
+<!entity sect sdata "§" >
+<!entity semi sdata ";" >
+<!entity setmn sdata "\" >
+<!entity sigma sdata "sigma" >
+<!entity sigmav sdata "sigmav" >
+<!entity spades sdata "spades" >
+<!entity square sdata "square" >
+<!entity sub sdata "sub" >
+<!entity sube sdata "sube" >
+<!entity sup sdata "sup" >
+<!entity supe sdata "supe" >
+<!entity szlig sdata "ss" >
+<!entity tau sdata "tau" >
+<!entity thetas sdata "theta" >
+<!entity thinsp sdata " " >
+<!entity tilde sdata "~" >
+<!entity times sdata "*" >
+<!entity tm sdata "[TM]" >
+<!entity uArr sdata "uArr" >
+<!entity uacute sdata "u" >
+<!entity uarr sdata "uarr" >
+<!entity ucirc sdata "u" >
+<!entity ugrave sdata "u" >
+<!entity upsi sdata "upsi" >
+<!entity urlnam sdata "" >
+<!entity uuml sdata "ue" >
+<!entity vDash sdata "|=" >
+<!entity vdash sdata "|-" >
+<!entity verbar sdata "|" >
+<!entity xi sdata "xi" >
+<!entity yacute sdata "y" >
+<!entity yuml sdata "y" >
+<!entity zeta sdata "zeta" >

diff --git a/rep/texi/mapping b/rep/texi/mapping
new file mode 100644 (file)
index 0000000..abdfad5
--- /dev/null
+++ b/rep/texi/mapping
@@ -0,0 +1,412 @@
+% sinfo to texinfo replacement file
+% by MORIOKA Tomohiko
+% $Id: mapping,v 1.1 1998-09-15 01:24:56 morioka Exp $:
+
+<qwertz>       +     
+</qwertz>      +
+
+<head>         "\\input texinfo.tex\n@setfilename\n@settitle{}\n"      +
+</head>
+
+<body>         +       "@node Top\n@top\n"     +
+</body>                +       "@bye"                  +
+
+<dina4>                + "@afourpaper"         +
+</dina4>
+
+% Manual Pages are expected to be formatted using nroff (or groff), unless
+% they are included  as sections of other qwertz documents.  
+
+<manpage>
+</manpage>
+
+<titlepag>     +       "@titlepage"            +
+</titlepag>    +       "@end titlepage"        +
+
+<title>                +       "@title "
+</title>       
+
+<subtitle>     +       "@subtitle "
+</subtitle>    
+
+<author>       +       "@author "
+</author>
+
+<name>         
+</name>
+
+<and>                  " and "
+</and>
+
+<thanks>               " thanks to "
+</thanks>
+
+% ???
+<inst>                 " \\\\\n\\\\"   +
+</inst>
+
+<date>         +       "@subtitle "
+</date>                
+
+<newline>              "@*"
+</newline>
+
+<label>                +       "@LABEL [ID]"
+</label>       +
+
+<header>       +       "@c %% "
+</header>      
+
+<lhead>                        "{"
+</lhead>               "}"
+
+<rhead>                        "{"
+</rhead>               "}"     +
+
+<comment>      +       "@example"              +
+</comment>     +       "@end example"          +
+
+<abstract>     +       "\n@ifinfo"             +
+</abstract>    +       "@end ifinfo"           +
+
+<appendix>     +       "\n@appendix "
+</appendix>
+
+<toc>
+</toc>
+
+<cindex>       +       "@printindex cp"        +
+</cindex>
+
+<findex>       +       "@printindex fn"        +
+</findex>
+
+<vindex>       +       "@printindex vr"        +
+</vindex>
+
+<lof>          +       "\\listoffigures"       +
+</lof>
+
+<lot>          +       "\\listoftables"        +
+</lot>
+
+<h1>           +       "\n@chapter "
+</h1>
+
+<h2>           +       "\n@section "
+</h2>
+
+<h3>           +       "\n@subsection "
+</h3>
+
+<h4>           +       "\n@subsubsection "
+</h4>
+
+<h5>           +       "\n@subsubsubsection "
+</h4>
+
+<node>         +       "@node "
+</node>
+
+<heading>              ""
+</heading>             "\n" 
+
+<p>            +       "\n"            +
+</p>                   "{@refill}"     +
+
+<noindent>     +       "@noindent"             +
+</noindent>            
+
+<ul>           +       "@itemize @bullet"      +
+</ul>          +       "@end itemize"          +
+
+<ol>           +       "@enumerate"    +
+</ol>          +       "@end enumerate"        +
+
+<list>         +       "\\begin{list}{}{}\n"     +
+</list>                +       "\\end{list}"           +
+
+<dl>           +       "@table @samp"  +
+</dl>          +       "@end table"    +
+<dt>           +       "@item "
+<dd>           +
+</dd>          +       "\n"
+<vl>           +       "@table @var"   +
+</vl>          +       "@end table"    +
+<kl>           +       "@table @kbd"   +
+</kl>          +       "@end table"    +
+<kt>           +       "@item @key{"
+<kd>                   "}\n"
+</kd>          +       "\n"
+<li>           +       "@item\n"
+</li>          +
+
+<tag>          +       "@item "
+</tag>                 "\n"
+
+<cite>                 "\\cite{[ID]"
+</cite>                        "}"
+
+<ncite>                        "\\cite\[[NOTE]\]{[ID]"
+</ncite>               "}"
+
+<idx>                  "\\idx{"
+</idx>                  "}"
+
+<cdx>                  "\\cdx{"
+</cdx>                 "}"
+
+<footnote>             "\\footnote{"
+</footnote>            "}"
+
+<sq>                   "``"
+</sq>                  "''"
+
+<lq>           +       "\\begin{quotation}\n"  +
+</lq>          +       "\n\\end{quotation}\n\n"        +
+
+<em>                   "`"
+</em>                  "'"
+
+<bf>                   "@strong{"
+</bf>                  "}"
+
+<it>                   "@emph{"
+</it>                  "}"
+
+<sf>                   ""
+</sf>                  ""
+
+<sl>                   "`"
+</sl>                  "'"
+
+<rm>                   "`"
+</rm>                  "'"
+
+<tt>                   "`"
+</tt>                  "'"
+
+% Added by mdw
+<cparam>               "\\cparam{"
+</cparam>              "}"
+
+<concept>              "@CONCEPT{"
+</concept>             "}"
+
+<a>            "@AREF{([file])[node]}{<URL:[href]>}"
+</a>           "@end AREF"
+
+<cf>           "(cf. [p]@ref{([file])[node]}{<URL:[href]>}"
+</cf>          "{@refill})"    +
+
+<ref>          "@ref{([file])[node]}"
+</ref>
+
+<dref>         "@DREF{([file])"
+</dref>                "}@end DREF{@refill}"
+
+<x>    
+</x>
+
+<mc>                   
+</mc>
+
+<biblio>
+</biblio>
+
+<code>                 "@code{"
+</code>                        "}"
+
+<verb>         +       "@example"      +
+</verb>                +       "@end example"  +
+
+<tscreen>      +       "@example"      +
+</tscreen>     +       "@end example"  +
+
+<quote>                +       "@quotation"    +
+</quote>        +       "@end quotation" +
+
+% theorems and such
+
+<def>          +       "@deffn"
+</def>         +       "@end deffn"            +
+
+<defun>                +       "@defun [name]"
+</defun>       +       "@end defun"            +
+
+<opts>                 " &optional "
+<rest>                 " &rest "
+
+<define>       +       "@deffn{[type]} [name]"
+</define>      +       "@end deffn"            +
+
+<defvar>       +       "@defvar [name]"        +
+</defvar>      +       "@end defvar"           +
+
+<prop>         +       "\\begin{proposition}"  +
+</prop>                +       "\\end{proposition}"    +
+
+<lemma>                +       "\\begin{lemma}"
+</lemma>       +       "\\end{lemma}\n\n"      +
+
+<coroll>       +       "\\begin{corollary}"
+</coroll>      +       "\\end{corollary}\n\n"  +
+
+<proof>                +       "\n{\\noindent{\\bf Proof.}  "  +
+</proof>       +       "}"
+
+<theorem>      +       "\\begin{theorem}"
+</theorem>     +       "\\end{theorem}\n\n"    +
+
+<thtag>                        "\["
+</thtag>               "\]"                    +
+
+<var>                  "@var{"
+</var>                 "}"
+
+<lisp>         +       "@lisp"         +
+</lisp>                +       "@end lisp"     +
+
+<mail>                 "<"
+</mail>                        ">"
+
+<file>                 "@file{"
+</file>                        "}"
+
+<kbd>                  "@kbd{"
+</kbd>                 "}"
+
+<key>                  "@key{"
+</key>                 "}"
+
+<memo>         +       "@noindent\n@strong{\[[title]\]}\n@quotation\n" +
+</memo>                +       "@end quotation"        +
+
+<rfc>          "@cindex{[name]}@cindex{[type]}@cindex{RFC [number]}\n@noindent\n\[[name]: RFC [number]\]\n@quotation\n[author], ``[title]'', [date], [type] (obsolete RFC [obsolete]).\n@end quotation"        +
+
+<standard>     "@cindex{[abbrev]}@cindex{[number]:[year]}\n@noindent\n\[[abbrev]]\n@quotation\n[org],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [number]:[year].\n@end quotation"      +
+
+<report>       "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [date].\n@end quotation"    +
+
+<inproc>       "@cindex{[abbrev]}\n@noindent\n\[[abbrev]]\n@quotation\n[author],\92¡Ø[title-cn]\92¡Ù,\92¡Ø[title-ja]\92¡Ù, ``[title-fr]'', ``[title-en]'', [book-cn], [book-en], [book-ja], [book-fr], [date].\n@end quotation"        +
+
+% mathematics 
+
+<f>                    "$"
+</f>                   "$"
+
+<dm>           +       "\\\["  
+</dm>                  "\\\]"  +
+
+<eq>           +       "\\begin{equation}"     +
+</eq>          +       "\\end{equation}\n"     +
+
+<fr>                   "\\frac"
+</fr>          
+
+<nu>                   "{"
+</nu>                  "}"
+
+<de>                   "{"
+</de>                  "}"
+
+<lim>                  
+</lim>
+
+<op>
+</op>
+
+<sub>                  "_{"
+</sub>                 "}"
+
+<super>                        "^{"
+</super>               "}"
+
+<opd>
+</opd>
+
+<pr>                   "\\prod"
+</pr>
+
+<in>                   "\\int"
+</in>
+
+<sum>                  "\\sum"
+</sum>         
+
+<root>                 "\\sqrt\[[n]\]{"
+</root>                        "}"
+
+<ar>           +       "\\begin{array}{[ca]}"  +
+</ar>          +       "\\end{array}"          +
+
+<arr>                   " \\\\ " +
+</arr>
+
+<arc>                   " & "
+</arc>
+
+
+<sup>                  "^("
+</sup>                 ")"
+
+<inf>                  "_("
+</inf>                 ")"
+
+<unl>                  "*"
+</unl>                 "*"
+
+<ovl>                  "ol("
+</ovl>                 ")"
+
+<rf>                   "\\mbox{\\tt "
+</rf>                  "}"
+
+<v>                    "\\vec{"
+</v>                   "}"
+
+<fi>                   ""
+</fi>                  ""
+
+<phr>                  "{@r{}"
+</phr>                 "}"
+
+<tu>                   "\\\\ \n"
+</tu>
+
+% figures
+
+<figure>       +       "\\begin{figure}\[[LOC]\]"      +
+</figure>      +       "\\end{figure}\n"               +
+
+<eps>          +       "\\centerline{\\epsffile{[FILE].ps}}"  +
+</eps>                 
+               
+
+<ph>           +       "\\vspace{[VSPACE]}\n\\par"     +
+</ph>  
+
+<caption>      +       "\\caption{"
+</caption>             "}"     +
+
+% tables
+
+<table>                +       "\\begin{table}\[[LOC]\]"       +
+</table>       +       "\\end{table}"          +
+
+<tabular>      +       "\\begin{center}\n"
+                       "\\begin{tabular}{[ca]}"        +
+</tabular>     +       "\\end{tabular}\n"
+                       "\\end{center}"         +
+
+<rowsep>               "\\\\ "         +
+</rowsep>
+
+<colsep>               "& "
+</colsep>
+
+<hline>                +       "\\hline"       +
+</hline>
+
+% end of texinfo replacement file
+

diff --git a/sinfo.dtd b/sinfo.dtd
deleted file mode 100644 (file)
index ff52e4d..0000000
--- a/sinfo.dtd
+++ /dev/null
@@ -1,449 +0,0 @@
-<!-- This is sinfo.dtd,
-      by MORIOKA Tomohiko
-      $Id: sinfo.dtd,v 6.3 1996/12/23 20:10:18 morioka Exp $
--->
-
-<!entity % emph 
-       "em|it|bf|sf|sl|tt|cparam|code|verb|var|mail|file|kbd|key">
-
-<!entity % index "idx|cdx" >
-
-<!-- url added by HG; htmlurl added by esr -->
-<!entity % xref
-       " a|label|ref|dref|cf|cite|ncite|concept " >
-
-<!entity % inline 
-       " (#pcdata | f| x| %emph; |sq| %xref | %index )* " >
-
-<!entity % list 
-        " list | ul | ol | dl | kl | vl | memo | lisp | rfc | standard
-        | report | inproc " >
-
-<!entity % par         
-       "  %list; | comment | lq | quote | tscreen " >
-
-<!entity % mathpar " dm | eq " >
-
-<!entity % thrm 
-        " defun | define | defvar | prop | lemma | coroll | proof | theorem " >
-
-<!entity % sectpar 
-        " %par; | figure | table | faq | %mathpar; | 
-         %thrm; ">
-<!element sinfo o o (head, body) >
-
-<!element head - - (titlepag, header?, toc?, lof?, lot?)>
-<!attlist head opts cdata "null">
-
-<!element body - - ( abstract?, (p|noindent)*, h1*,
-                       (appendix, h1+)?, biblio?) +(footnote)>
-<!attlist body opts cdata "null">
-
-<!entity % general system -- general purpose characters -- >
-%general;
-<!entity   Ae  '&Auml;' >
-<!entity   ae  '&auml;' >
-<!entity   Oe  '&Ouml;' >
-<!entity   oe  '&ouml;' >
-<!entity   Ue  '&Uuml;' >
-<!entity   ue  '&uuml;' >
-<!entity   sz  '&szlig;' >
-<!element  noindent o o (( %inline | %sectpar )+) +(newline) >
-<!element  p o o (( %inline | %sectpar )+) +(newline) >
-<!entity ptag '<p>' >
-<!entity psplit '</p><p>' >
-
-<!element em - - (%inline)>
-<!element bf - - (%inline)>
-<!element it - - (%inline)>
-<!element sf - - (%inline)>
-<!element sl - - (%inline)>
-<!element tt - - (%inline)>
-<!element sq - - (%inline)>
-<!element cparam - - (%inline)>
-
-<!entity   ftag     '<f>'    -- formula begin -- >
-<!entity   qendtag  '</sq>'>
-
-<!element lq - - ((p|noindent)*)>
-<!element quote - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
-<!element tscreen - - ((%inline; | %sectpar;)*, (p|noindent)*)+ >
-<!element ul - - (li+)>
-<!element ol - - (li+)>
-<!element list - - (li+)>
-<!element memo - - ((%inline; | %sectpar; )*, (p|noindent)*)+ >
-<!attlist memo title cdata "Memo">
-<!element rfc - o empty>
-<!attlist rfc
-         name cdata #implied
-         number cdata #required
-         type cdata #implied
-         author cdata #required
-         title cdata #required
-         date cdata #required
-         obsolete cdata #implied>
-<!element standard - o empty>
-<!attlist standard
-         abbrev   cdata #implied
-         org      cdata #implied
-         title-cn cdata #implied
-         title-en cdata #implied
-         title-fr cdata #implied
-         title-ja cdata #implied
-         number   cdata #required
-         year     cdata #implied>
-<!element report - o empty>
-<!attlist report
-         abbrev   cdata #implied
-         author   cdata #required
-         title-cn cdata #implied
-         title-en cdata #implied
-         title-fr cdata #implied
-         title-ja cdata #implied
-         date     cdata #implied>
-<!element inproc - o empty>
-<!attlist inproc
-         abbrev   cdata #implied
-         author   cdata #required
-         title-cn cdata #implied
-         title-en cdata #implied
-         title-fr cdata #implied
-         title-ja cdata #implied
-         book-cn  cdata #implied
-         book-en  cdata #implied
-         book-fr  cdata #implied
-         book-ja  cdata #implied
-         date     cdata #implied>
-<!element dl - - (dt,dd)+ >
-<!element dt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
-<!element dd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
-
-<!element kl - - ((kt,kd)|(dt,dd))+ >
-<!element kt - o ((%inline; | %sectpar;)*, (p|noindent)*) >
-<!element kd - o ((%inline; | %sectpar;)*, (p|noindent|newline)*) >
-
-<!element vl - - (dt,dd)+ >
-
-<!element li - o ((%inline; | %sectpar;)*, (p|noindent)*) >
-
-<!element tag - o (%inline)>
-<!entity space " ">
-<!entity null "">
-
-<!element faq - - (keyword?, (poster?, pdate?, (question| answer| coment)? )*)+>
-<!element keyword - o (%inline;)*>
-<!element poster - o (%inline;)*>
-<!element pdate - o (%inline;)*>
-<!element question - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
-<!element answer - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
-<!element coment - o ((%inline; | %sectpar;)*, (p|noindent)*)+>
-
-<!element figure - - ((eps | ph ), caption?)>
-<!attlist figure
-       loc cdata "tbp">
-
-<!-- eps attributes added by mb and td  -->
-<!element eps - o empty  >
-<!attlist eps
-        file cdata #required
-        height cdata "5cm"
-        angle cdata "0">
-
-<!element ph - o empty >
-<!attlist ph
-        vspace cdata #required>
-
-<!element caption - o (%inline)>
-
-<!element rowsep - o empty>
-<!element colsep - o empty>
-<!element hline  - o empty>
-
-<!entity rowsep "<rowsep>">
-<!entity colsep "<colsep>">
-
-<!element table   - - (tabular, caption?) >
-<!attlist table
-       loc cdata "tbp">
-
-<!element code - - rcdata>
-<!element verb - - rcdata>
-<!element var - - rcdata>
-<!element lisp - - rcdata>
-<!element mail - - rcdata>
-<!element file - - rcdata>
-<!element kbd - - rcdata>
-<!element key - - rcdata>
-
-<!shortref ttmap     -- also on one-line --
-        "B&#RE;" space
-        "&#RS;&#RE;" null 
-        "&#RS;B&#RE;" null
-       "&#RS;B" null
-        '#'     num
-        '%'     percnt
-        '~'     tilde
-        '_'     lowbar
-        '^'     circ
-        '{'     lcub
-        '}'     rcub
-        '|'     verbar >
-
-<!usemap ttmap  tt>
-<!element  mc  - - cdata >
-<!entity % sppos     "tu" >
-<!entity % fcs       "%sppos;|phr" >
-<!entity % fcstxt    "#pcdata|mc|%fcs;" >
-<!entity % fscs      "rf|v|fi" >
-<!entity % limits    "pr|in|sum" >
-<!entity % fbu       "fr|lim|ar|root" >
-<!entity % fph       "unl|ovl|sup|inf" >
-<!entity % fbutxt    "(%fbu;) | (%limits;) | 
-                      (%fcstxt;)|(%fscs;)|(%fph;)" >
-<!entity % fphtxt    "p|#pcdata" >
-<!element  f        - - ((%fbutxt;)*) >
-
-<!entity   fendtag  '</f>'   -- formula end -- >
-
-<!shortref fmap 
-      "&#RS;B" null
-      "&#RS;B&#RE;" null
-      "&#RS;&#RE;" null
-      "_" thinsp
-      "~" nbsp
-      "]" fendtag
-      "#" num
-      "%" percnt
-      "^" circ
-      "{" lcub
-      "}" rcub
-      "|" verbar>
-
-<!usemap   fmap     f >
-
-<!element  dm       - - ((%fbutxt;)*)>
-<!element  eq       - - ((%fbutxt;)*)>
-
-<!shortref dmmap
-     "&#RE;" space
-      "_" thinsp
-      "~" nbsp
-      "]" fendtag
-      "#" num
-      "%" percnt
-      "^" circ
-      "{" lcub
-      "}" rcub
-      "|" verbar>
-
-<!usemap dmmap (dm,eq)>
-<!element  fr       - - (nu,de) >
-<!element  nu       o o ((%fbutxt;)*) >
-<!element  de       o o ((%fbutxt;)*) >
-<!element  sub      o o ((%fbutxt;)*) >
-<!element  super    o o ((%fbutxt;)*) >
-<!element  opd      - o ((%fbutxt;)*) >
-<!element  pr       - - (ll,u,opd?) >
-<!element  in       - - (ll,u,opd?) >
-<!element  sum      - - (ll,u,opd?) >
-<!element  lim      - - (op,ll,u,opd?) >
-<!element  op       o o (%fcstxt;|rf|%fph;) -(tu) >
-<!element  root     - - ((%fbutxt;)*) >
-<!attlist  root
-        n cdata "">
-<!element col o o ((%fbutxt;)*) >
-<!element row o o (col, (arc, col)*) >
-
-<!element  ar       - - (row, (arr, row)*) >
-<!attlist  ar
-    ca     cdata    #required >
-<!element  arr      - o empty >
-<!element  arc      - o empty >
-<!entity   arr "<arr>" >
-<!entity   arc "<arc>" >
-
-<!shortref arrmap
-     "&#RE;" space
-      "@" arr
-      "|" arc 
-      "_" thinsp
-      "~" nbsp
-      "#" num
-      "%" percnt
-      "^" circ
-      "{" lcub
-      "}" rcub >
-
-<!usemap   arrmap   ar >
-<!element  sup      - - ((%fbutxt;)*) -(tu) >
-<!element  inf      - - ((%fbutxt;)*) -(tu) >
-<!element  unl - - ((%fbutxt;)*) >
-<!element  ovl - - ((%fbutxt;)*) >
-<!element  rf  - o (#pcdata) >
-<!element  phr - o ((%fphtxt;)*) >
-<!element  v   - o ((%fcstxt;)*) 
-       -(tu|%limits;|%fbu;|%fph;) >
-<!element  fi  - o (#pcdata) >
-<!element  tu  - o empty >
-
-<!element defun - - (args?,opts?,rest?,(p|noindent|newline)*)>
-<!attlist defun
-         name cdata #required>
-<!element args - o (#pcdata)>
-<!element opts - o (#pcdata)>
-<!element rest - o (#pcdata)>
-
-<!element define - - (args?,opts?,rest?,(p|noindent|newline)*)>
-<!attlist define
-         type cdata #required
-         name cdata #required>
-
-<!element defvar - - ((p|noindent)+) >
-<!attlist defvar
-         name cdata #required>
-<!element prop - - (thtag?, p+) >
-<!element lemma - - (thtag?, p+) >
-<!element coroll - - (thtag?, p+) >
-<!element proof - - (p+) >
-<!element theorem - - (thtag?, p+) >
-<!element thtag - - (%inline)>
-
-<!entity   qtag     '<sq>' >
-
-<!element label - o empty>
-<!attlist label id cdata #required>
-
-<!element concept - - cdata>
-
-<!element a - - (p+)>
-<!attlist a
-         file cdata #implied
-         node cdata #implied
-         href cdata #implied>
-
-<!element cf - o empty>
-<!attlist cf
-         file cdata #implied
-         node cdata #implied
-         href cdata #implied >
-
-<!element ref - o empty>
-<!attlist ref
-         file cdata #implied
-         node cdata #implied>
-
-<!element dref - - cdata>
-<!attlist dref
-         file cdata #implied>
-
-<!element comment - - (%inline)>
-<!element x - - ((#pcdata | mc)*) >
-<!usemap   #empty   x >
-
-<!-- Hacked by mdw, abstract now part of titlepag -->
-<!element titlepag o o (title, author, date?, trans?, tdate?)>
-<!element title - o (%inline, subtitle?) +(newline)>
-<!element subtitle - o (%inline)>
-<!element author - o (name, thanks?, inst?, mail?,
-                        (and, name, thanks?, inst?)*)>
-<!element trans - o (name, thanks?, inst?, 
-                        (and, name, thanks?, inst?)*)>
-<!element name o o (%inline) +(newline)>
-<!element and - o empty>
-<!element thanks - o (%inline)>
-<!element inst - o (%inline) +(newline)>
-<!element date - o (#pcdata) >
-<!element tdate - o (#pcdata) >
-
-<!element newline - o empty >
-<!entity nl "<newline>"> 
-
-<!-- Hacked by ono -->
-<!element abstract - o (%inline, (p|noindent)*)+ +(newline)>
-
-
-<!element toc - o empty>
-<!element lof - o empty>
-<!element lot - o empty>
-<!element header - - (lhead, rhead) >
-<!element lhead - o (%inline)>
-<!element rhead - o (%inline)>
-<!entity % sec-b "(p|noindent)*, (cindex|findex|vindex)* " >
-<!entity % sect "heading, node?, %sec-b " >
-<!element heading o o (%inline)>
-<!element h1  - o (%sect, h2*) +(footnote)>
-<!element h2 - o (%sect, h3*)>
-<!element h3 - o (%sect, h4*)>
-<!element h4 - o (%sect, h5*)>
-<!element h5 - o (%sect)>
-<!element node - o (heading)>
-<!element cindex - o empty>
-<!element findex - o empty>
-<!element vindex - o empty>
-<!element appendix - o empty >
-<!element footnote - - (%inline)>
-<!element cite - o empty>
-<!attlist cite 
-        id cdata #required>
-
-<!element ncite - o empty>
-<!attlist ncite 
-        id cdata #required
-       note cdata #required>
-
-<!element idx - - (#pcdata)>
-<!element cdx - - (#pcdata)>
-
-<!element biblio - o empty>
-<!attlist biblio
-       style cdata "sinfo"
-        files cdata "">
-<!element slides - - (slide*) >
-
-<!attlist slides
-       opts cdata "null">
-<!element slide - o (title?, p+) >
-<!entity  % addr "(address?, email?, phone?, fax?)" >  
-       
-<!element letter - - 
-       (from, %addr, to, %addr, cc?, subject?, sref?, rref?,
-         rdate?, opening, p+, closing, encl?, ps?)>
-
-<!attlist letter
-       opts cdata "null">
-       
-<!element from         - o (#pcdata) >
-<!element to           - o (#pcdata) >
-       
-<!element address      - o (#pcdata) +(newline) >
-<!element email                - o (#pcdata) >
-<!element phone                - o (#pcdata) >
-<!element fax          - o (#pcdata) >
-       
-<!element subject      - o (%inline;) >
-<!element sref         - o (#pcdata) >
-<!element rref          - o (#pcdata) >
-<!element rdate         - o (#pcdata) >
-       
-<!element opening      - o (%inline;) >
-       
-<!element closing - o (%inline;) >
-<!element cc - o (%inline;) +(newline) >
-<!element encl - o (%inline;) +(newline) >
-       
-<!element ps - o (p+) >
-
-<!element telefax - - 
-       (from, %addr, to, address, email?, 
-         phone?, fax, cc?, subject?,
-         opening, p+, closing, ps?)>
-
-<!attlist telefax
-       opts cdata "null"
-       length cdata "2">
-
-<!element notes - - (title?, p+) >
-<!attlist notes
-       opts cdata "null" >
-
-<!-- end of sinfo dtd -->