Changeset 1249 in project


Ignore:
Timestamp:
07/16/06 06:25:20 (14 years ago)
Author:
Jim Ursetto
Message:

Rebuild a few HTML files with eggdoc 1.2.1

Files:
9 edited

Legend:

Unmodified
Added
Removed
  • args/args.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
  • doctype/doctype.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
  • honu/honu.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.18  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    2626                    border-top: 1px solid #448;
    2727                    padding-left: 1em;
    28      }
     28                    margin-bottom: 1.2em;
     29     }
     30     DIV.subsubsection {
     31                    border-top: 1px dotted #99c;
     32                    /* border-left: 1px solid #99c; */
     33                    padding-left: 1em;
     34                    margin-bottom: 1.2em;
     35     }
     36     DIV.subsubsubsection {
     37                    border-top: 1px solid #ddf;
     38                    padding-left: 1em;
     39                    margin-bottom: 1.2em;
     40     }
     41
    2942         DIV.section {
    3043                 margin-bottom: 1.5em;
     
    4558                 margin: 0 0 1em 0;
    4659        }
    47         LI {
     60        UL LI {
    4861                list-style: none;
    4962        }
     
    5568                color: #113;
    5669                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
     72                color: #113;
     73                margin-bottom: 1.0em;
     74        }
     75        H5 {
     76                font-weight: normal;
     77                font-style: italic;
     78                font-size: 100%;
     79                margin-top: 1.2em;
     80        }
     81        H6 {
     82                font-weight: bold;
     83                font-size: 85%;
     84                margin-top: 1.2em;
    5785        }
    5886     DIV#eggheader {
     
    101129       padding: 0.2em;
    102130       border: 1px solid #aac;
     131       border-collapse: collapse;
    103132       width: 100%;
    104133     }
     
    109138     }
    110139     TH {
    111        border-bottom: 1px solid black;
    112      } --></style></head>
     140       text-align: left;
     141       border-bottom: 1px solid #aac;
     142       padding: 0.25em 0.5em 0.25em 0.5em;
     143     }
     144     TD { padding: 0.25em 0.5em 0.25em 0.5em; }
     145     --></style></head>
    113146<body>
    114147<div id="header">
     
    148181<p>Whitespace for H-expressions is as in Scheme: any character for which <code>char-whitespace?</code> returns true counts as a whitespace.</p>
    149182<div class="subsection">
    150 <p><b>Numbers</b></p>
     183<h4>Numbers</h4>
    151184<p>The syntax for Honu numbers is the same as for Java. The S-expression encoding of a particular H-expression number is the obvious Scheme number.</p></div>
    152185<div class="subsection">
    153 <p><b>Identifiers</b></p>
     186<h4>Identifiers</h4>
    154187<p>The syntax for Honu identifiers is the union of Java identifiers plus semicolon (<code>;</code>), comma (<code>,</code>), and a set of operator identifiers. An <b>operator identifier</b> is any combination of the following characters:</p>
    155188<pre>+ - _ = ? : &lt; &gt; . ! % ^ &amp; * / ~ |</pre>
     
    157190<p>Input is parsed to form maximally long identifiers. For example, the input <code>int-&gt;int;</code> is parsed as four H-expressions:<code>int</code>, <code>-&gt;</code>, <code>int</code>, and <code>;</code>.</p></div>
    158191<div class="subsection">
    159 <p><b>Strings</b></p>
     192<h4>Strings</h4>
    160193<p>The syntax for an H-expression string is exactly the same as for an S-expression string, and an H-expression string is represented by the obvious Scheme string.</p></div>
    161194<div class="subsection">
    162 <p><b>Characters</b></p>
     195<h4>Characters</h4>
    163196<p>The syntax for an H-expression character is the same as for an H-expression string that has a single content character, except that a single quote (<code>'</code>) surrounds the character instead of double quotes (<code>&quot;</code>). The S-expression representation of an H-expression character is the obvious Scheme character.</p></div>
    164197<div class="subsection">
    165 <p><b>Parentheses, Brackets, and Braces</b></p>
     198<h4>Parentheses, Brackets, and Braces</h4>
    166199<p>A parenthesized (), bracketed [], or braced {} H-expression sequence is represented by a Scheme list. The first element of the list is <code>#%parens</code> for a paremnthesized sequence,<code>#%brackets</code> for a brackets sequence, or <code>#%braces</code> for a braced sequence. The remaining elements are the Scheme representation for the parenthesized, bracketed, or braced H-expressions in order.</p></div>
    167200<div class="subsection">
    168 <p><b>Comments</b></p>
     201<h4>Comments</h4>
    169202<p>An H-expression comment starts with either <code>//</code> or <code>/*</code>. In the former case, the comment runs until a linefeed orreturn. In the second case, the comment runs until <code>*/</code>, but <code>/* .... */</code> comments can be nested. Comments are treated likewhitespace.</p>
    170203<p><code>#;</code> starts an H-expression comment, as in Scheme. It is followed by an H-expression to be treated as white. Note that <code>#;</code> is equivalent to <code>#sx#;#hx</code>.</p></div>
    171204<div class="subsection">
    172 <p><b>Interface</b></p>
     205<h4>Interface</h4>
    173206<dl>
    174207<dt class="definition"><strong>procedure:</strong> (read-honu [PORT [SHOW-LINE-NUMBERS]])</dt>
  • hostinfo/hostinfo.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
  • imlib2/imlib2.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    2626                    border-top: 1px solid #448;
    2727                    padding-left: 1em;
     28                    margin-bottom: 1.2em;
    2829     }
    2930     DIV.subsubsection {
     
    3132                    /* border-left: 1px solid #99c; */
    3233                    padding-left: 1em;
     34                    margin-bottom: 1.2em;
    3335     }
    3436     DIV.subsubsubsection {
    3537                    border-top: 1px solid #ddf;
    3638                    padding-left: 1em;
     39                    margin-bottom: 1.2em;
    3740     }
    3841
     
    5558                 margin: 0 0 1em 0;
    5659        }
    57         LI {
     60        UL LI {
    5861                list-style: none;
    5962        }
     
    6265                /* font-size: 1.2em; */
    6366        }
    64         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6572                color: #113;
    6673                margin-bottom: 1.0em;
     
    122129       padding: 0.2em;
    123130       border: 1px solid #aac;
     131       border-collapse: collapse;
    124132       width: 100%;
    125133     }
     
    130138     }
    131139     TH {
    132        border-bottom: 1px solid black;
    133      } --></style></head>
     140       text-align: left;
     141       border-bottom: 1px solid #aac;
     142       padding: 0.25em 0.5em 0.25em 0.5em;
     143     }
     144     TD { padding: 0.25em 0.5em 0.25em 0.5em; }
     145     --></style></head>
    134146<body>
    135147<div id="header">
  • mathh/mathh.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    2626                    border-top: 1px solid #448;
    2727                    padding-left: 1em;
     28                    margin-bottom: 1.2em;
    2829     }
    2930     DIV.subsubsection {
     
    3132                    /* border-left: 1px solid #99c; */
    3233                    padding-left: 1em;
     34                    margin-bottom: 1.2em;
    3335     }
    3436     DIV.subsubsubsection {
    3537                    border-top: 1px solid #ddf;
    3638                    padding-left: 1em;
     39                    margin-bottom: 1.2em;
    3740     }
    3841
     
    5558                 margin: 0 0 1em 0;
    5659        }
    57         LI {
     60        UL LI {
    5861                list-style: none;
    5962        }
     
    6265                /* font-size: 1.2em; */
    6366        }
    64         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6572                color: #113;
    6673                margin-bottom: 1.0em;
     
    122129       padding: 0.2em;
    123130       border: 1px solid #aac;
     131       border-collapse: collapse;
    124132       width: 100%;
    125133     }
     
    130138     }
    131139     TH {
    132        border-bottom: 1px solid black;
    133      } --></style></head>
     140       text-align: left;
     141       border-bottom: 1px solid #aac;
     142       padding: 0.25em 0.5em 0.25em 0.5em;
     143     }
     144     TD { padding: 0.25em 0.5em 0.25em 0.5em; }
     145     --></style></head>
    134146<body>
    135147<div id="header">
  • sxml-tools/sxml-tools.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
  • sxml-transforms/sxml-transforms.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
  • vector-lib/vector-lib.html

    r1226 r1249  
    11<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
    2 <!-- Generated by eggdoc Revision: 1.19  -->
     2<!-- Generated by eggdoc Revision: 1.20  -->
    33<html>
    44<head>
     
    5858                 margin: 0 0 1em 0;
    5959        }
    60         LI {
     60        UL LI {
    6161                list-style: none;
    6262        }
     
    6565                /* font-size: 1.2em; */
    6666        }
    67         H3, H4, H5, H6 {
     67        H3 {
     68                color: #113;
     69                margin-bottom: 0.5em;
     70        }
     71        H4, H5, H6 {
    6872                color: #113;
    6973                margin-bottom: 1.0em;
Note: See TracChangeset for help on using the changeset viewer.