rep/html/mapping

   1 % sinfo to HTML replacement file
   2 % by MORIOKA Tomohiko
   3 % $Id: mapping,v 1.1 1998-09-15 01:24:37 morioka Exp $:
   4
   5 <qwertz>        +
   6 </qwertz>       +
   7
   8 <head>          "<head>"        +
   9 </head>         "<hr>"          +
  10
  11 <title>         "<title>"
  12 </title>        "</title>\n</head>\n<body>"     +
  13
  14 <author>
  15 </author>       "<br>"  +
  16
  17 <date>
  18 </date>         "<br>"  +
  19
  20 <body>
  21 </body>         "</body>"       +
  22
  23 <abstract>      +       "<cite>"                +
  24 </abstract>     +       "</cite>"               +
  25
  26 <name>
  27 </name>
  28
  29 <and>
  30 </and>
  31
  32 <thanks>
  33 </thanks>
  34
  35 <inst>
  36 </inst>
  37
  38 <sect>          + "<sect>"
  39
  40 <h1>            "<h1>"
  41 </h1>
  42
  43 <h2>            "<h2>"
  44 </h2>
  45
  46 <h3>            "<h3>"
  47 </h3>
  48
  49 <h4>            "<h4>"
  50 </h4>
  51
  52 <h5>            "<h5>"
  53 </h4>
  54
  55 <node>          "<a name=\"#"
  56 </node>         "\"></a>"
  57
  58 <p>             + "<p>"
  59 </p>            +
  60
  61 <noindent>
  62 </noindent>
  63
  64 <ul>            "<ul>"  +
  65 </ul>           "</ul>"
  66
  67 <ol>            "<ol>"  +
  68 </ol>           "</ol>"
  69
  70 <dl>    +       "<dl>"  +
  71 </dl>           "</dl>"
  72 <dt>    +       "<dt>"
  73 <dd>            "<dd>"
  74 </dd>
  75 <vl>    +       "<dl>"  +
  76 </vl>   +       "</dl>"
  77 <kl>    +       "<dl>"  +
  78 </kl>           "</dl>"
  79 <kt>    +       "<dt>"
  80 <kd>            "<dd>"
  81 </kd>
  82 <li>            "<li>"
  83 </li>           +
  84
  85 <bf>            <bf>
  86 </bf>           </bf>
  87
  88 <it>            <it>
  89 </it>           </it>
  90
  91 <sf>            <sf>
  92 </sf>           </sf>
  93
  94 <sl>            <sl>
  95 </sl>           </sl>
  96
  97 <rm>            <rm>
  98 </rm>           </rm>
  99
 100 <tt>            <tt>
 101 </tt>           </tt>
 102
 103 <a>             <a href="[href]" href="[file]#[node]">
 104 </a>            </a>
 105
 106 <cf>            "(cf. <a href=\"[href]\" href=\"[file]#[node]\">"
 107 </cf>           "</a>)" +
 108
 109 <ref>           "@ref{([file])[node]}"
 110 </ref>
 111
 112 <dref>          "@DREF{([file])"
 113 </dref>         "}@end DREF{@refill}"
 114
 115 <x>
 116 </x>
 117
 118 <mc>
 119 </mc>
 120
 121 <biblio>
 122 </biblio>
 123
 124 <code>                  "<code>"
 125 </code>                 "</code>"
 126
 127 <verb>          +       "<pre>" +
 128 </verb>         +       "</pre>"        +
 129
 130 <tscreen>       +       "@example"      +
 131 </tscreen>      +       "@end example"  +
 132
 133 <quote>         +       "@quotation"    +
 134 </quote>        +       "@end quotation" +
 135
 136 % theorems and such
 137
 138 <def>           +       "@deffn"
 139 </def>          +       "@end deffn"            +
 140
 141 <defun>         +       "@defun [name]"
 142 </defun>        +       "@end defun"            +
 143
 144 <opts>                  " &optional "
 145 <rest>                  " &rest "
 146
 147 <define>        +       "@deffn{[type]} [name]"
 148 </define>       +       "@end deffn"            +
 149
 150 <defvar>        +       "@defvar [name]"        +
 151 </defvar>       +       "@end defvar"           +
 152
 153 <prop>          +       "\\begin{proposition}"  +
 154 </prop>         +       "\\end{proposition}"    +
 155
 156 <lemma>         +       "\\begin{lemma}"
 157 </lemma>        +       "\\end{lemma}\n\n"      +
 158
 159 <coroll>        +       "\\begin{corollary}"
 160 </coroll>       +       "\\end{corollary}\n\n"  +
 161
 162 <proof>         +       "\n{\\noindent{\\bf Proof.}  "  +
 163 </proof>        +       "}"
 164
 165 <theorem>       +       "\\begin{theorem}"
 166 </theorem>      +       "\\end{theorem}\n\n"    +
 167
 168 <thtag>                 "\["
 169 </thtag>                "\]"                    +
 170
 171 <var>                   "@var{"
 172 </var>                  "}"
 173
 174 <lisp>          +       "@lisp"         +
 175 </lisp>         +       "@end lisp"     +
 176
 177 <mail>                  "<address>"
 178 </mail>                 "</address>"
 179
 180 <file>                  "@file{"
 181 </file>                 "}"
 182
 183 <kbd>                   "<kbd>"
 184 </kbd>                  "</kbd>"
 185
 186 <key>                   "@key{"
 187 </key>                  "}"
 188
 189 <memo>          +       "<strong>\[[title]\]</strong>\n<blockquote>"    +
 190 </memo>         +       "</blockquote>" +
 191
 192 <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"        +
 193
 194 <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"      +
 195
 196 <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"    +
 197
 198 <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"        +
 199
 200 % mathematics
 201
 202 <f>                     "$"
 203 </f>                    "$"
 204
 205 <dm>            +       "\\\["
 206 </dm>                   "\\\]"  +
 207
 208 <eq>            +       "\\begin{equation}"     +
 209 </eq>           +       "\\end{equation}\n"     +
 210
 211 <fr>                    "\\frac"
 212 </fr>
 213
 214 <nu>                    "{"
 215 </nu>                   "}"
 216
 217 <de>                    "{"
 218 </de>                   "}"
 219
 220 <lim>
 221 </lim>
 222
 223 <op>
 224 </op>
 225
 226 <sub>                   "_{"
 227 </sub>                  "}"
 228
 229 <super>                 "^{"
 230 </super>                "}"
 231
 232 <opd>
 233 </opd>
 234
 235 <pr>                    "\\prod"
 236 </pr>
 237
 238 <in>                    "\\int"
 239 </in>
 240
 241 <sum>                   "\\sum"
 242 </sum>
 243
 244 <root>                  "\\sqrt\[[n]\]{"
 245 </root>                 "}"
 246
 247 <ar>            +       "\\begin{array}{[ca]}"  +
 248 </ar>           +       "\\end{array}"          +
 249
 250 <arr>                   " \\\\ " +
 251 </arr>
 252
 253 <arc>                   " & "
 254 </arc>
 255
 256
 257 <sup>                   "^("
 258 </sup>                  ")"
 259
 260 <inf>                   "_("
 261 </inf>                  ")"
 262
 263 <unl>                   "*"
 264 </unl>                  "*"
 265
 266 <ovl>                   "ol("
 267 </ovl>                  ")"
 268
 269 <rf>                    "\\mbox{\\tt "
 270 </rf>                   "}"
 271
 272 <v>                     "\\vec{"
 273 </v>                    "}"
 274
 275 <fi>                    ""
 276 </fi>                   ""
 277
 278 <phr>                   "{@r{}"
 279 </phr>                  "}"
 280
 281 <tu>                    "\\\\ \n"
 282 </tu>
 283
 284 % figures
 285
 286 <figure>        +       "\\begin{figure}\[[LOC]\]"      +
 287 </figure>       +       "\\end{figure}\n"               +
 288
 289 <eps>           +       "\\centerline{\\epsffile{[FILE].ps}}"  +
 290 </eps>
 291
 292
 293 <ph>            +       "\\vspace{[VSPACE]}\n\\par"     +
 294 </ph>
 295
 296 <caption>       +       "\\caption{"
 297 </caption>              "}"     +
 298
 299 % tables
 300
 301 <table>         +       "\\begin{table}\[[LOC]\]"       +
 302 </table>        +       "\\end{table}"          +
 303
 304 <tabular>       +       "\\begin{center}\n"
 305                         "\\begin{tabular}{[ca]}"        +
 306 </tabular>      +       "\\end{tabular}\n"
 307                         "\\end{center}"         +
 308
 309 <rowsep>                "\\\\ "         +
 310 </rowsep>
 311
 312 <colsep>                "& "
 313 </colsep>
 314
 315 <hline>         +       "\\hline"       +
 316 </hline>
 317
 318 % end of texinfo replacement file
 319