This is pdfTeXk, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=latex 2009.11.3)  5 NOV 2009 14:08
entering extended mode
 %&-line parsing enabled.
**\makeatletter\def\HCode{\futurelet\HCode\HChar}\def\HChar{\ifx"\HCode\def\HCo
de"##1"{\Link##1}\expandafter\HCode\else\expandafter\Link\fi}\def\Link#1.a.b.c.
{\g@addto@macro\@documentclasshook{\RequirePackage[#1,html]{tex4ht}}\let\HCode\
documentstyle\def\documentstyle{\let\documentstyle\HCode\expandafter\def\csname
 tex4ht\endcsname{#1,html}\def\HCode####1{\documentstyle[tex4ht,}\@ifnextchar[{
\HCode}{\documentstyle[tex4ht]}}}\makeatother\HCode html,2,info.a.b.c.\input  m
aude-manual
(./maude-manual.tex (/usr/local/texlive/2008/texmf-dist/tex/latex/base/book.cls
Document Class: book 2005/09/16 v1.4f Standard LaTeX document class
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/bk10.clo
File: bk10.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/tex4ht.sty
version 2008-08-07-16:03
Package: tex4ht 
--------------------------------------
--- Note --- for _ at preamble, use the command line option `early_'
--------------------------------------
--------------------------------------
--- Note --- for ^ at preamble, use the command line option `early^'
--------------------------------------
\tmp:toks=\toks14
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/usepackage.4ht
version 2008-09-16-11:44
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/texlive/2008/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 90.

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/ltxmisc/url.sty
\Urlmuskip=\muskip10
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/alltt.sty
Package: alltt 1997/06/16 v2.0g defines alltt environment
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/tools/verbatim.sty
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks16
\verbatim@line=\toks17
\verbatim@in@stream=\read1
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks18
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
))
(/usr/local/texlive/2008/texmf-dist/tex/latex/enumitem/enumitem.sty
Package: enumitem 2007/06/30 v2.1 Customized lists
\enit@toks=\toks19
\labelindent=\skip43
\enit@outerparindent=\dimen105
\enitdp@desc=\count88
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/tools/multicol.sty
Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi)
\c@tracingmulticols=\count89
\mult@box=\box26
\multicol@leftmargin=\dimen106
\c@unbalance=\count90
\c@collectmore=\count91
\doublecol@number=\count92
\multicoltolerance=\count93
\multicolpretolerance=\count94
\full@width=\dimen107
\page@free=\dimen108
\premulticols=\dimen109
\postmulticols=\dimen110
\multicolsep=\skip44
\multicolbaselineskip=\skip45
\partial@page=\box27
\last@line=\box28
\mult@rightbox=\box29
\mult@grightbox=\box30
\mult@gfirstbox=\box31
\mult@firstbox=\box32
\@tempa=\box33
\@tempa=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\c@columnbadness=\count95
\c@finalcolumnbadness=\count96
\last@try=\dimen111
\multicolovershoot=\dimen112
\multicolundershoot=\dimen113
\mult@nat@firstbox=\box50
\colbreak@box=\box51
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/multirow/multirow.sty
\bigstrutjot=\dimen114
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2009/02/22 v6.78p Hypertext links for LaTeX

(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/ifpdf.sty
Package: ifpdf 2007/12/12 v1.6 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in pdf mode not detected.
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/ifvtex.sty
Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
Package ifvtex Info: VTeX not detected.
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/oberdiek/hycolor.sty
Package: hycolor 2008/09/08 v1.4 Code for color options of hyperref/bookmark (H
O)

(/usr/local/texlive/2008/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
Package: xcolor-patch 2008/09/08 xcolor patch
))
\@linkdim=\dimen115
\Hy@linkcounter=\count97
\Hy@pagecounter=\count98

(/usr/local/texlive/2008/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2009/02/22 v6.78p Hyperref: PDFDocEncoding definition (HO)
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/etexcmds.sty
Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)

(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
)
(/usr/local/texlive/2008/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
(/usr/local/texlive/2008/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2007/10/18 v3.0 Keyval support for LaTeX options (HO)
)
Package hyperref Info: Option `colorlinks' set `true' on input line 2824.
Package hyperref Info: Option `breaklinks' set `true' on input line 2824.
Package hyperref Info: Hyper figures OFF on input line 2935.
Package hyperref Info: Link nesting OFF on input line 2940.
Package hyperref Info: Hyper index ON on input line 2943.
Package hyperref Info: Plain pages OFF on input line 2950.
Package hyperref Info: Backreferencing OFF on input line 2955.

Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 3145.
LaTeX Info: Redefining \url on input line 3382.
(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/bitset.sty
Package: bitset 2007/09/28 v1.0 Data type bit set (HO)

(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/intcalc.sty
Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/bigintcalc.sty
Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)

(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
Package: pdftexcmds 2007/12/12 v0.3 LuaTeX support for pdfTeX utility functions
 (HO)
Package pdftexcmds Info: LuaTeX not detected on input line 139.
)))
(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
Package: kvsetkeys 2007/09/29 v1.3 Key value parser with default handler suppor
t (HO)
)
\Fld@menulength=\count99
\Field@Width=\dimen116
\Fld@charsize=\dimen117
\Field@toks=\toks20
Package hyperref Info: Hyper figures OFF on input line 4299.
Package hyperref Info: Link nesting OFF on input line 4304.
Package hyperref Info: Hyper index ON on input line 4307.
Package hyperref Info: backreferencing OFF on input line 4314.
Package hyperref Info: Link coloring ON on input line 4317.
Package hyperref Info: Link coloring with OCG OFF on input line 4324.
Package hyperref Info: PDF/A mode OFF on input line 4329.

(/usr/local/texlive/2008/texmf-dist/tex/generic/oberdiek/atbegshi.sty
Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
)
\Hy@abspage=\count100

Hyperref stopped early
)
*hyperref using driver htex4ht*
(/usr/local/texlive/2008/texmf-dist/tex/latex/hyperref/htex4ht.def
File: htex4ht.def 2009/02/22 v6.78p Hyperref driver for TeX4ht

hyperref tex4ht: tex4ht already loaded
) (/usr/local/texlive/2008/texmf-dist/tex/latex/index/index.sty
Package: index 2004/01/20 v4.2beta Improved index support (dmj)
\@indexbox=\insert233
\indexproofstyle=\toks21
)
\idxtitle@default=\toks22
\tf@default=\write3
\openout3 = `maude-manual.idx'.

Package index Info: Writing index file maude-manual.idx on input line 72.
\idxtitle@mod=\toks23
\tf@mod=\write4
\openout4 = `maude-manual.modidx'.

Package index Info: Writing index file maude-manual.modidx on input line 73.
\idxtitle@thr=\toks24
\tf@thr=\write5
\openout5 = `maude-manual.thridx'.

Package index Info: Writing index file maude-manual.thridx on input line 75.
\idxtitle@view=\toks25
\tf@view=\write6
\openout6 = `maude-manual.viewidx'.

Package index Info: Writing index file maude-manual.viewidx on input line 77.
 (./defs.tex
\c@marginalnote=\count101

(./macros-diagmac.tex
\texpr=\dimen118
\bexpr=\dimen119
\lexpr=\dimen120
\rexpr=\dimen121
\xcenter=\dimen122
\ycenter=\dimen123
\xslope=\count102
\yslope=\count103
\xstart=\dimen124
\ystart=\dimen125
\xend=\dimen126
\yend=\dimen127
\dcircle=\dimen128
\xcircle=\dimen129
\ycircle=\dimen130
\zzisedge=\count104
\zziscircle=\count105
\zzdiagbox=\box52
\zztotlwidth=\dimen131
\zztotrwidth=\dimen132
\zztotheight=\dimen133
\zztotdepth=\dimen134
\zzglobaltotlwidth=\dimen135
\zzglobaltotrwidth=\dimen136
\zzglobaltotheight=\dimen137
\zzglobaltotdepth=\dimen138
\zzglobalxcenter=\dimen139
\zzglobalycenter=\dimen140
\zzglobalcnA=\count106
\zzdmA=\dimen141
\zzdmB=\dimen142
\zzdmC=\dimen143
\zzdmD=\dimen144
\zzdmE=\dimen145
\zzdmF=\dimen146
\zzdmG=\dimen147
\zzdmH=\dimen148
\zzdmI=\dimen149
\zzcnA=\count107
\zzcnB=\count108
\zzcnC=\count109
\zzcnD=\count110
\zzcnE=\count111
\zzcnF=\count112
\zzcnG=\count113
\zzcnH=\count114
\zzcnI=\count115
\zzdmX=\dimen150
\zzdmY=\dimen151
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/tex4ht.4ht
version 2008-06-23-09:47
--------------------------------------
--- Note --- For additional information, compile `xhlatex mktex4ht.4ht'
 and review the appropriate pointers under mktex4ht.html => index
--------------------------------------

::::::::::::::::::::::::::::::::::::::::::
 TeX4ht info is available in the log file 
::::::::::::::::::::::::::::::::::::::::::
) (/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/tex4ht.sty
version 2008-08-07-16:03

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/color.sty
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)

(/usr/local/texlive/2008/texmf/tex/latex/config/color.cfg
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 130.

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
--- needs --- tex4ht maude-manual ---
\tmp:cnt=\count116
\openout15 = `maude-manual.tmp'.

(./maude-manual.tmp)
\tmp:dim=\skip46
--------------------------------------
--- Note --- for XML code, use the command line option `xml' or `xhtml'
--------------------------------------
 (./maude-manual.xref)
\:refout=\write7
\openout7 = `maude-manual.xref'.


(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** Preamble.4ht
******************************************
                                         *


\Configure{PROLOG}.........1

   #1 Comma separated list of hooks to appear before HTML.

      Each hook E is declared to be configurable by an
      instruction of the form \NewConfigure{E}{1}

      A star '*' prefix calls for accumulative configurations

   Example:

      \Configure{PROLOG}{VERSION,DOCTYPE,*XML-STYLESHEET}
      \Configure{VERSION}
         {\HCode{<?xml version="1.0"?>}}

\Configure{ext}............1

   #1: default extension name for target files  (recorded in \:html)

   Can also be requested through a command line option ext=...

\Preamble...................0

   Records the list of the requested options.  Defined upon entering
   the environment \Preamble{...}....\EndPreamble, to replace the
   earlier version of \Preamble.

\ifOption ................. 3

   #1  Argument to be checked  wheteher it is a given option.
   #2  True part
   #3  False part



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- to remove the DOCTYPE declaration use the command line option `no-
DOCTYPE'
--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
)
--------------------------------------
--- Note --- for marking of the base font, use the command line option `fonts+'

--------------------------------------
--------------------------------------
--- Note --- for non active _, use the command line option `no_'
--------------------------------------
--------------------------------------
--- Note --- for _ of catcode 13, use the command line option `_13'
--------------------------------------
--------------------------------------
--- Note --- for non active ^, use the command line option `no^'
--------------------------------------
--------------------------------------
--- Note --- for ^ of catcode 13, use the command line option `^13'
--------------------------------------

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** tex4ht.4ht
******************************************
                                         *


Wrapper for the Document
------------------------

\Configure{DOCTYPE}.........1
\Configure{HTML}............2
\Configure{HEAD}............2
\Configure{@HEAD}...........1
\Configure{BODY}............2
\Configure{TITLE+}..........1
\Configure{TITLE}...........2
\Configure{@TITLE}..........1
\Configure{Preamble}........2

    <DOCTYPE>
    <HTML 1>
      <HEAD 1>
         <TITLE 1>
            <@TITLE>
            <TITLE+>
         <TITLE 2>
         <@HEAD>
      <HEAD 2>
      <BODY 1>
      ......
      <BODY 2>
    <HTML 2>

The \Configure{@HEAD}{...} command is additive, concatenating the
content of all of its appearances.  An empty parameter requests
the cancellation of the earlier contributions.

For instance,

  \Configure{@HEAD}{A}
  \Configure{@HEAD}{}
  \Configure{@HEAD}{B}
  \Configure{@HEAD}{C}

contributes `BC'.

The \Configure{TITLE+} provides the content for the title,
\Configure{TITLE} sets the envelop, and \Configure{@TITLE} acts as a
hook for introducing localized configurations. As is the case for
\Configure{@HEAD}, the contribution of \Configure{@TITLE} is also
additive.

These configurations should be introduced early enough in the
compilation. For instance, in the case of LaTeX, between \Preamble
and \begin{document} of a local configuration file.

           \Preamble
             %%% here %%%
           \begin{document}
             ...
           \EndPreamble


\Configure{@BODY}...........1
\Configure{@/BODY}..........1

   Variants of \Configure{@HEAD} which contribute their content,
   respectively, after <body> and before </body>.

\Configure{CutAtTITLE+}.....1
\Configure{HPageTITLE+}.....1

   #1 an insertion just before the content of <TITLE>;

   If #1 is a one parametric macro, it gets the title content for
   an argument.


Support for Sectioning Commands
-------------------------------

\Configure{unit-name} ......................4

   #1 start
   #2 end
   #3 before title
   #4 after title

   Example:

        \Configure{section}
           {\HCode{<section>}}    {\HCode{</section>}}
           {\HCode{<title>}}      {\HCode{</title>}}


\ConfigureMark{unit-name}...................1

   Defines a macro \<<unit-name>>HMark to hold the given argument.
   Upon entering the unit, \TitleMark gets the content of this macro.

   Some built-in configurations of TeX4ht require an argument for the
   \<<unit-name>>HMark commands. For safety, these commands should
   always be followed by a, possiblely empty, argument.  The argument
   should be a separator between the title mark and its content.

   Example:

        \Configure{section}
           {}{}
           {\HCode{<h3>}\TitleMark\space}    {\HCode{</h3>}}
        \ConfigureMark{section}{\thesection}


\Configure{toTocLink}.......................2

   Each unit title contains a \Link{...}{...}...\EndLink command.
   The first argument of \Link points to the first table of contents
   referencing the title. The second argument provides an anchor
   for references to the title (mainly from tables of contents).

   The package option `section+' requests the inclusion of the
   title within the anchor.  Without this option, the link command
   resides between the title mark and its content.

   The \Configure{toTocLink} command is provided for configuring
   the \Link and \EndLink  instructions.  In the default setting,
   when the `sections+' option is not activated, the \Link
   command is altered to replace its first argument with an empty
   argument.

     Example:

          \Configure{toTocLink}
             {\Link}
             {\ifx \TitleMark\sectionHMark
                \Picture[\up]{haut.jpg align="right"}%
                \EndLink
                \TitleMark\space
              \else \EndLink \fi
             }
          \def\up{[up]}

\Configure{toToc}...........................2

    #1  unit type
    #2  desired contents type  (if empty, `unit type' is assumed)

  Example: \Configure{toToc}{chapter}{likechapter}
           Introduces chapter as likechapter into toc

    #1  empty: stop adding entries of `unit type' to toc
            @: add entries of `unit type' to toc
            ?: resume mode in effect before the last stop
    #2  unit type

  Example: \Configure{toToc}{}{chapter}
           \chapter{...}
           \Configure{toToc}{@}{chapter}

\Configure{writetoc}.........................1

    #1  Configuration material for the insertion instruction.
        New configurations are added to those request earlier
        by the command.  An empty argument cancels the earlier
        contributions.

\NoLink.......................1

   Ignore option `section+' for sections of type #1

\TitleCount

   Count of entries submitted to the toc file

\Configure{NoSection}.........2

   Insertions around the parameters of sectioning commands, applied when
   the parameters are not used to create titles for the divisions.


\CutAt{#1,#2,#3,...}

    #1           section type to be placed in a separate web page
    #2,#3,...    end delimiting section types, other than #1, for
                 the web pages
    A `+' before #1 requests hypertext buttons for the web pages

    Examples:

          \CutAt{mychapter,myappendix,mypart}
          \CutAt{+myappendix,mychapter,mypart}

    Cut points at arbitrary points can be introduced by introducing section-lik
e
    commands in a manner similar to

         \NewSection\mysection{}
         \CutAt{mysection}


\Configure{+CutAt}.................................3

     #1 sectioning type
     #2 before
     #3 after

     Requests delimiters for the \CutAt buttons of the specified
     sectioning type

    Example:   \Configure{+CutAt}{mysection}{[}{]}

\PauseCutAt{#1}
\ContCutAt{#1}

    #1  section type

\Configure{CutAt-filename} ........................1

   A 2-parameter hook for tailoring section-based filenames.
   The section type is available through #1. The section title
   is accessible through #2.

   Example:   \Configure{CutAt-filename}{\NextFile{#1-#2.html}}


Tables of Contents
------------------

Created from the entries collected in the previous compilation within
a jobname.4tc file.

\ConfigureToc{unit-name} ......................4

   #1 before unit number
   #2 before content
   #3 before page number
   #4 at end

   * Empty arguments request the omission of the corresponding field.

   * \TocCount  Specifies the entry count withing the jobname.4tc file.

   * \TitleCount Count of entries submitted to the toc file

   * An alternative to \ConfigureToc{unit-name}:

      \def\toc<unit-name>#1#2#3{<before unit number>#1<before content>#2%
                             <before page number>#3<at end>}


   Example:

        \ConfigureToc{section}
           {}
           {\Picture[*]{pic.jpg width="13"  height="13"}~}
           {}
           {\HCode{<br />}}


\Configure{TocLink}..................4

   Configures the link offered in the third arguments of \ConfigureToc

   Example:   \Configure{TocLink}{\Link{#2}{#3}#4\EndLink}

\TocAt{#1,#2,#3,...}

    #1           section type for which local tables of contents
                 \Toc#1 are requested
    #2,#3,...    sectioning types to be included in the tables of
                 contents

    The non-leading arguments may be preceded by slashes '/', in
    which cases the arguments specify end points for the tables.

    The default setting requests automatic insertion of the local
    tables immediately after the sectioning heads.

    A star `*' character may be introduced, between the  \TocAt and
    the left brace, to request the appearances of the tables of
    contents at the end of the units' prefaces.

    A hyphen `-' character, on the other hand, disables the automatic
    insertions of the local tables.

    In case of a single argument, the command removes the
    existing definition of \Toc#1.

    Example:
      \TocAt{mychapter,mysection,mysubsection,/myappendix,/mypart}
      \TocAt-{mysection,mysubsection,/mylikesection}
      \section{...}...\Tocmysection

    The definition  of the local table of contents can be redefined
    within \csname Toc#1\endcsname.

    Example:

       \TocAt{section}
       \def\Tocsection{\TableOfContents[section]}

       \Css{div.sectionTOCS {
                           width : 30\%;
                           float : right;
                      text-align : left;
                  vertical-align : top;
                     margin-left : 1em;
                       font-size : 85\%;
                background-color : \#DDDDDD;
           }}

    Example: Table of content before the section title.

       \Configure{section}{}{}
          {\Tocsection \let\saveTocsection=\Tocsection
           \def\Tocsection{\let\Tocsection=\saveTocsection}%
           \ifvmode \IgnorePar\fi \EndP\IgnorePar
           \HCode{<h3 class="sectionHead">}\TitleMark\space\HtmlParOff}
          {\HCode{</h3>}\HtmlParOn\ShowPar \IgnoreIndent \par}


\Configure{TocAt}......................2
\Configure{TocAt*}.....................2

   #1 before the tables of contents
   #2 after the tables of contents


Navigation Links for Sectioning Divisions
-----------------------------------------

\Configure{crosslinks}.....................8

   #1  left delimiter
   #2  right delimiter
   #3  next
   #4  previous
   #5  previous-tail
   #6  front
   #7  tail
   #8  up

  The content to be displayed in the pointers

\Configure{crosslinks*}.................1--7

  Links to be included and their order. Available
  options: next, prev, prevtail, tail, front, up.
  The last argument must be empty.

  Default:

      \Configure{crosslinks*}
         {next}
         {prev}
         {prevtail}
         {tail} {front}
         {up}
         {}

\Configure{crosslinks+}.....................4

   #1  before top menu
   #2  after top menu
   #3  before bottom menu
   #4  after bottom menu

  The top cross links are omitted, if both #1 and #2 are empty.
  The bottom cross links are omitted, if both #3 and #4 are empty.

\Configure{next}.....................1
    #1  the anchor of the next button of the front page.

    Default: The value provided in \Configure{crosslinks}

\Configure{next+}.............................2

   #1  before the next button of the front page, when the `next'
       option is active.
   #2  after the button

    Default: The values provided in \Configure{crosslinks}

\Configure{crosslinks:next}..................1
\Configure{crosslinks:prev}..................1
\Configure{crosslinks:prevtail}..............1
\Configure{crosslinks:tail}..................1
\Configure{crosslinks:front}.................1
\Configure{crosslinks:up}....................1

   #1 local configurations for the delimiters and hooks

\Configure{crosslinks-}.....................2

   Asks to show linkless buttons with the following insertions.

      #1  before
      #2  after

   The default values are used, if both #1 and #2 are empty

   Examples:

       \Configure{crosslinks-}{}{}

       \Configure{crosslinks-}
           {\HCode{<span class="hidden">}[}
           {]\HCode{</span>} }
       \Css{span.hidden {visibility:hidden;}}

Paragraphs
----------

\Configure{HtmlPar}..........4

   #1 content at the start non-indented paragraphs
   #2 content at the start indented paragraphs
   #3 insertion into \EndP, at the start of non-indented paragraphs
   #4 insertion into \EndP, at the start of indented paragraphs

   \HtmlParOff
   \HtmlParOn

   \IgnorePar     Asks to ignore the next paragraph
   \ShowPar       Asks to take into account the following paragraphs

   \IgnoreIndent  asks to ignore indentation in the next paragraph
   \ShowIndent    asks to check indentation in the following paragraphs

   \SaveEndP      Saves the content of \EndP, and sets it to empty content
   \RecallEndP

   \SaveHtmlPar
   \RecallHtmlPar


  Example:
     \Configure{@BODY}
        {\ifvmode \IgnorePar\fi \EndP
         \HCode{<div>}\par\ShowPar}
     \Configure{@/BODY}
        {\ifvmode \IgnorePar\fi \EndP
         \HCode{</div>}}


Cross-Linking
-------------

\Link[@1 @2]{@3}{@4}...\EndLink

  Creates

     <a href="@1#@3" name="@4" @2>...</a>

  * When @1 is empty, tex4ht will derive its value automatically.
    The derived value will be the file name containing the target @3.

  * \Link may be followed by `-', if tex4ht needs not automatically
    determine (for other \link commands) the file containing @4.
    In the present of such a flag, tex4ht can spare a definition of
    one macro.

  * The component [@1 @2] is optional. If omitted, @1 and @2 are
    assumed to be empty

  * The href attribute is omitted when @1 and @3 are empty

  * The name attribute is omitted when @4 is empty

  Examples:

      \Link{a}{}...\Endlink .....  \Link{}{b}...\EndLink
      \Link[http://foo  id="fooo"]{a}{b}...\EndLink

\Configure{Link}..............4

   Configures \Link...\EndLink so that

     #1 replaces `a'
     #2 replaces `href='
     #3 replaces `name='
     #4 replaces `#'.  If empty, the older value remains in effect.

  Examples:

   \Configure{Link}{a}{href=}{name=}{}
   \Configure{Link}{ref}{target=}{id=}{\empty}

\Configure{?Link}..............1

   #1 insertion before broken links

   To help with debugging

\LinkCommand...................1 <= i <= 6

   Creates a \Link-like command

   #1   tag name
   #2   href-like attribute
   #3   name-like attribute
   #4   insertion
   #5   /, if empty element
   #6  replacement for #  (ignored if absent)

  Example:

    \LinkCommand\JSLink{a,\noexpand\jsref,name}
    \def\jsref="#1"{href="javascript:window.open('#1')"}

    \JSLink{a}{}xx\EndJSLink
    \Link{}{a}\EndLink       % or \JSLink{}{a}\EndJSLink

\Configure{XrefFile}.....................1

   #1 names cross-references of files (appends #1 to `)F' and `)Q'
      entries of the .xref files). Applicable mainly implicitly
      within \Link commands

\Tag.....................................2

   #1  label
   #2  content

\Ref.....................................1
\LikeRef.................................1

   #1  label

   \Tag and \Ref are tex4ht.sty commands introduced cross-referencing
   content through .xref auxiliary files.

   \LikeRef is a variant of \Ref which doesn't verify whether the
   labels exit.  It is mainly used in \Link and \edef environments.

\ifTag ..................................3

   #1  quetioned tag
   #2  true part
   #3  false part

\LoadRef-[prefix]+{filename.ext}{pattern}

   Load the named xref-type file

   .xref      optional--`.xref' is assume for a default
   +          optional-- asks \Ref and \LikeRef commands
              to use expanded tags `filename::tag', instead of just `tag'
   [prefix]   optional--asks just for tags starting with the
              specified prefix.
   -          optional--deletes the prefixes from the loaded tags
   {pattern}  to be included only when `[prefix]' or `+' are included.
              States how tags are to be addressed, with the parameter
              symbol `#1'  specifying the loaded part.

   Example:

        % a.tex
        \LoadRef-[to:]{b}{from:#1}      \Ref{from:filename}
                                        \LikeRef{from:filename}

        % b.tex
        \Tag{to:filename}{\FileName}

   Example:

        \LoadRef-[)F]{file}{)Ffoo##1}
        \LoadRef-[)Q]{file}{)Qfoo##1}
        \Configure{XrefFile}{foo}   \Link...\EndLink

        \LoadRef{another-file}


Files
-----

\FileName    Holds the name of the current hypertext file
\FileNumber  Holds the internal number of the current hypertext file
\RefFileNumber...........................1
    #1  File number

    Provides the file name

\NextFile.................................1
    #1 Requested name for the next file

\Hinput{#1}

    The command asks to load the configuration files associated
    with mark #1.

\Hinclude[#1]{#2}

    The command associates configuration file #2 with mark #1.  If
    the mark is the star character `*', the configuration files is
    associated to all marks.  The command is applicable until the
    \Preamble command is processed

    For instance,  \Hinclude[*]{html4.4ht}....\Hinput{latex}

\Hinclude{#1}{#2}

    The command is applicable while the \Preamble command is
    processed. Its purpose is to load *4ht hook files within
    the fragments of code specified in #1.

    For instance, \Hinclude{\input plain.4ht}{plain}


Fonts
-----

\Configure{htf}...............................9

    #1         label (integer 0--255)
    #2         delimiter (a character not appearing in #3,...,#9)
           even label             odd label
    #3       start opening tag      start empty tag
    #4       name                   alt
    #5       size                   name
    #6       mag                    size
    #7                              mag
    #8       end the tag            ord
    #9       closing tag            end the tag

    The htf fonts assign a content and a label to each symbol (possibly
    followed by a comment).  For instance,

        'e'    '1'    epsilon
        'z'    '3'    zeta

    An even label asks that the content itself will be used for the
    symbol, and an odd label asks that the symbol will be represented by a
    bitmap.  In the later case,  the content serves as a substitution for
    browsers which don't exhibit bitmaps.

    The \Configure{htf}... command provides label-dependent wrappers to
    chosen representations.

    If they are not empty, `mag' and `ord' must be c-type
    patterns for integer arguments, and `name' and `size'
    should be a patterns for strings.  The `mag' entry is
    ignored for fonts of the default dimension. Together
    they specify a attribute-value format, mainly for references
    in the css code.

  Examples:

     \Configure{htf}{0}{+}{<span\Hnewline
        class="}{\%s}{-\%s}{x-x-\%d}{}{">}{</span>}
     \Configure{htf}{1}{+}{<img\Hnewline
        src="}{" alt="}{" class="}{\%s}{-\%d}{x-x-\%x}{" />}

\Configure{htf-attr}....................... 2

     #1  c-pattern for the font name and size
     #2  c-pattern for font magnification

     Specify the format of the selectors within the css files.

   Example:
     \Configure{htf-attr}{.\%s-%s}{--\%s}

\Configure{htf-css}....................... 2

    #1  font name or label
    #2  css entry

    A variant of the \Css command. If #1 is a font name,
    the contribution replaces the one given within the
    htf font definition. If #1 is a label for an entry
    of a htf font, the contribution is added to the css
    file.  The contribution is offered, only when the
    font is in use.

  Example:

   \Configure{htf-css}{4}{.small-caps{font-variant: small-caps;}}


Bitmaps
-------

\Configure{Picture}....................... #1

  #1  Extension name for bitmap files of dvi pictures,
      stored in \PictExt

  Default: \Configure{Picture}{.png}

  The extension names of bitmap files of glyphs of htf fonts may be
  determined within a g-entry in the environment file tex4ht.env, or a
  g-flag of the tex4ht.c utility.

\Configure{Picture-alt}......................1

  #1  alt value for \Picture+{...}  and \Picture*{...}

\Configure{Picture+}.........................2
\Configure{Picture*}.........................2

  #1  before the dvi picture code
  #2  after the dvi picture code

  Typically, the plus `+' variant is introduced as an inline
  contribution into paragraphs, and the star `*' variant as an
  independent block between paragraphs.

\Configure{PictureAlt}........................2
\Configure{PictureAlt*+}......................2
\Configure{PictureAlt*+[]}....................2

  #1 definitions before alt
  #2 definitions after alt

 Apply to \Picture{...}, \Picture*+{...}, and \Picture*+[...]{...}

\Configure{PictureAlt}........................1
\Configure{PictureAlt*+}......................1
\Configure{PictureAlt*+[]}....................1

  #1 definition for attributes (introduced through
     a parameter named `#1')

   Apply to \Picture{...}, \Picture*+{...}, and \Picture*+[...]{...}

\Configure{IMG}...............................5

  #1 before file name
  #2 between file name and alt
  #3 close alt for  \Picture without * or +
  #4 close alt for  \Picture with * and +
  #5 right delimiter

  Example:

     \Configure{IMG}
        {\ht:special{t4ht=<img src="}}
        {\ht:special{t4ht=" alt="}}
        {" }
        {\ht:special{t4ht=" }}
        {\ht:special{t4ht=/>}}

\NextPictureFile.............................1

   Requests a file name for the next created picture.

\PictureFile.............................0

   Records the filename of the most recent created picture.

Math
----

\Configure{$}................................2
\Configure{$$}...............................2
\Configure{DviMath}..........................2

\DviMath ... \EndDviMath
\MathClass ... \EndMathClass
\PicMath ... \EndPicMath
\DisplayMath ... \EndDispalyMath

   Example:

     \Configure{$} {\Tg<math>\DviMath} {\EndDviMath\Tg</math>} {}



\Configure{PicMath}..........................4

   Example:

       \Configure{PicMath}{}{}{}{ class="math" }

     \Configure{()}{\protect\PicMath$}{$\protect\EndPicMath}

\Configure{SUB}..............................2
\Configure{SUP}..............................2
\Configure{SUBSUP}...........................3
\Configure{SUPSUB}...........................3
\Configure{SUB/SUP}..........................6

\Configure{putSUB}...........................1
\Configure{putSUP}...........................1

     #1 the code to be used for realizing subscripts and postcripts

\Configure{afterSUB}.........................2

     #1 look ahead token after subscript
     #2 the code to be used for realizing subscripts having #1 for
        lookahead token

\Configure{over}.............................2
\Configure{atop}.............................2
\Configure{above}............................2
\Configure{overwithdelims}...................2
\Configure{atopwithdelims}...................2
\Configure{abovewithdelims}..................2

   #1 before \over, \atop, \above
             \overwithdelims, \atopwithdelims, \abovewithdelims
   #2 after  \over, \atop, \above <dimension>
             \overwithdelims <del1> <del2>
             \atopwithdelims <del1> <del2>
             \abovewithdelims <del1> <del2> <dimension>

   Example:

     \Configure{over}
         {\Send{GROUP}{0}{[before]}[before-rule]}
         {[before-argument]\Send{EndGROUP}{0}{[after]}}


\Configure{MathClass}........................5

   #1  class number
          0: mathord, 1: mathop, 2: mathbin, 3: mathrel,
          4: mathopen, 5: mathclose, 6: mathpunc
   #2  delimiter
   #3  before
   #4  after
   #5  characters

   Extra support:

      \PauseMathClass
      \EndPauseMathClass
      \NewMathClass<new control sequence>  (7, 8, ...)

\Configure{FormulaClass}.....................4

   #1  class number
          0: mathord, 1: mathop, 2: mathbin, 3: mathrel,
          4: mathopen, 5: mathclose, 6: mathpunc
   #2  a character not in #3 and #4
   #3  before
   #4  after

   If #2 is empty, the formula gets the same marking as a
   single character of the specified type

\Configure{FormulaClass*}....................4

   Like the previous case, but allow marking in the
   nested content.

\Configure{MathDelimiters}...................2

   #1  left
   #2  right

\Configure{mathbin*}.........................4
\Configure{mathclose*}.......................4
\Configure{mathop*}..........................4
\Configure{mathopen*}........................4
\Configure{mathord*}.........................4
\Configure{mathpunct*}.......................4
\Configure{mathrel*}.........................4

   #1  a character not presented in #2#3#4
   #2  code before
   #3  code after
   #4  possible definitions for successive cases

  Example:
     \Configure{mathop*}{*}{}{}
        {\Configure{mathop}{*}{<mo>}{</mo>}{}}
     \mathop{\overline{x \mathop{op} y}} \limits^{a=3}

\Configure{mathbin}..........................4
\Configure{mathclose}........................4
\Configure{mathopen}.........................4
\Configure{mathop}...........................4
\Configure{mathord}..........................4
\Configure{mathpunct}........................4
\Configure{mathrel}..........................4

Variants of the above group, requesting to supress nested marks.

\Configure{nolimits}.........................1

\MathSymbol

AtBeginDocument
---------------

\Configure{AtBeginDocument}..................2

    #1  before the corresponding hook of latex
    #2  after

   Insertions are accumulative, and can be erased by providing
   two empty arguments

Other Hooks
-----------

  \Configure{HChar}...................1

    #1  a character

    The \HChar{i} instruction inserts the character code i with the
    font information of character #1, when i is positive. If i is
    negative, the font info is not included.


\Configure{Canvas}
\Configure{ExitHPage}
\Configure{LinkHPage}......................1
\Configure{FontCss}
\Configure{HVerbatim+}
\Configure{MiniHalign}
\Configure{Needs-}
\Configure{Needs}


\Configure{TraceTables}
\Configure{edit}
\Configure{halignTB}
\Configure{halignTD}
\Configure{halign}
\Configure{hooks}
\Configure{moveright}

\Configure{noalign-}
\Configure{pic-halign}

\Configure{accent}
\Configure{mathaccent}
\Configure{accented}
\Configure{accenting}


Back-end Specials
-----------------
                                                    insertions
                                                    ----------
  =    \special{t4ht=...content...}
           Insert the specified content to the html output, under
           edef mode of processing, and without using the mapping
           of the htf fonts.  Used in \HCode{...}.
  @    \special{t4ht@...integer...}
           Insert the absolute value as character code to the output.
           Positve values ask the insertion to be included in place
           of the next chracter, together with the font information
           of that character.
                                                    files
                                                    -----
  >    \special{t4ht>...file-name...}
           Open a new file, if needed, and direct future output
           to the specified file.  Used in \File{...}.
  <    \special{t4ht<...file-name...}
           Close the specified file.  If it is the current file,
           activate the youngest file. Used in \EndFile{...}.
  >*   \special{t4ht*>...file-name...}
           Declare the file to be the oldest.
       \special{t4ht*>}
           Reactivate the file that activated the current file.
  *<   \special{t4ht*<file}
           Input file (with no processing)
  +    \special{t4ht++file-name}...dvi...\special{t4ht+}
           Pipe the dvi code into a dvi page in the secondary dvi file
           `jobname.idv'.  Used by \Picture{...}, e.g., for requesting
           gif's.
  +    \special{t4ht+embeded-specials within idv}
  .    \special{t4ht.ext}
           Change default ext of root file
  @D   \special{t4ht@D....} Writes the content, augmented with a
           loc stamp, to the .lg file.  The locations stamp consists
           a byte-address in a named output file.

                                                    character maps
                                                    --------------
  !    \special{t4ht!...optional-parameters....}...dvi...\special{t4ht!}
           Create an approximated character map for the dvi code.
           Used in \Picture{...}, e.g., for ALT of IMG
  |    \special{t4ht|}...\special{t4ht|}
           Use the non-pictorial characters of the htf fonts.
           Used for character maps of \Picture{....}
  @    \special{t4ht@-}....\special{t4ht@-}
           Remove left margin from character map.  Used in \Picture{...}.

                                                    character settings
                                                    ------------------
  @    \special{t4ht@@}....\special{t4ht@@}
           Insert the character codes, instead of their mappings through
           the htf fonts.  Used in \JavaScript...
  @    \special{t4ht@...integer...}, \special{t4ht@-...integer...}
           Introduce the character code into the output.
           Used by \HChar{...} and \HChar{-...}. The earlier one
           also inherites the current font info.
  @    \special{t4ht@+...string...}
           Replace the character code introduced by the next character
           with the specified string.  The decoration of the character
           code is inherited, when the string is not empty. The string
           might include character codes by enclosing them between braces.
  @    \special{t4ht@*...string...}
           A variant \special{t4ht@+...string...} that inserts the content
           after the character instead of replacing it.
  @    \special{t4ht@(}
           Ignore spaces
  @    \special{t4ht@)}
           End ignore spaces
  @    \special{t4ht@[}
           Ignore chs and spaces
  @    \special{t4ht@]}
           End ignore chs and spaces
  @    \special{t4ht@[...}...\special{t4ht@]...}\special{t4ht@?...}
           Ignore chs and spaces, if the specials  have the above
           syntax on identical strings.
  @    \special{t4ht@!}
           Get the last ignored spaces (none, if from previous lines).
  @    \special{t4ht@_....}
           Output character for rulers. Empty string is also allowed.
  @    \special{t4ht@.''''}
           Output for line break characters (empty
                                         content resets the default).
  @    \special{t4ht@,''''}
           Output for space characters (empty content resets the default).

                                                    dvi tracing
                                                    -----------
  @    \special{t4ht@%X}...\special{t4ht@%x}
           Request dvi tracing.

               X  x
               P  p      groups
               C  c      characters
               H  h      horizontal spaces
               V  v      vertical spaces
               R  r      rulers

       \special{t4ht@%%X*...open-del....*...close-del....}
       \special{t4ht@%%x*...open-del....*...close-del....}
           Tailor dvi tracing

  @    \special{t4ht@/}
           On/off tracing of specials.
  @    \special{t4ht@e...}
           String for tracing errors into the output.
  ;    \special{t4ht;....}
           Decorations for htf characters (e.g., css)
              8    pause
              9    end pause
              \let \prOteCt \relax \Protect \csname acp:c\endcsname {14}.. patt
ern
              =... show font name of char
              %... show font size of char
              ,    don't report next htf class to lg
              -    set default font info
              +    unset default font info
  ^    \special{t4ht^i}$symbols$\special{t4ht^}}'
           Requests math class i for the listed math symbols.

           Tex assignes class numbers 0--7 to the atoms of math
           formulas: 0--ordinary symbol, 1--large operator, 2--binary
           operation, 3--relational operation, 4--math delimiter,
           5--right delimiter, 6--punctuation mark, and 7--adjustable.
           TeX4ht adds classes  8 and 9, while using
           class 7 independently
       \special{t4ht^}
           on/off processing delimiters
       \special{t4ht^-}
           pause processing delimeters
       \special{t4ht^+}
           continue processing delimeters
       \special{t4ht^i}
           on/off processing delimiters of class i
       \special{t4ht^i*...*...}
           configure delimiters for class i. * can be any
           character distinguished for the group.
       \special{t4ht^i(}
           put delimiters of class i on next group
       \special{t4ht^i)}
           As before, but ignore the delimeters within the sub-group.
       \special{t4ht^)*...*...}
           put the specified delimiters on next group.
           Ignore delimeters within the group.
       \special{t4ht^<*...*...}
           put the specified delimiters on the next group.
           Don't ignore delimeters within the group.
                                                    dvi arithmetic
                                                    --------------
  :    \special{t4ht:....}
           Dvi-mode arithmetics.
             :+...  increment by 1( define, if not defined)
             :-...  decrement by 1
             :>...  push current value
             :<...  pop current value
             :!...  display current value
             :\let \prOteCt \relax \Protect \csname acp:c\endcsname {14}..  dis
play top value

                                                    messages to lg file
                                                    -------------------
  +    \special{t4ht+@...message...}
           Send message to the lg file.  Used in the \Needs{...} command.
  @    \special{t4ht@D....}
           Send message to the lg file, together with location and file
           stamp.

                                                    positional code
                                                    -------------------
  "    \special{t4ht"}
           Start/end positional env
       \special{t4ht"* before-all * after-all ...** before-char
                     * after-char * rect
                     *%A*%B*%C*%D*%E
                     * optional
           Configure positioned code
             * before-all
             * after-all      %...
             ** before-char  %x %y
             * after-char
             * rect          %x1 %y1 ...
             * x,x1-coefficients %A(x) + %B
             * y1-coefficients %C(y1 - %E(height)) + %D
             * y-coefficients  %C(y) + %D
             * optional: 1, 2

               %x1 %y1 %length %thickness          default
               %x1 %y1 %x1+length %y1+thickness    1
               %x1 %y1 %x1+length %y1 %thickness   2

           A-magnification, B-displacement
           C-magnification, D-displacement,
           E- origin (0: top, 0.5: mid, 1: bot)

           The %...'s should be c-type templates (e.g., "%.2f"; "%.0f"
              gives an integer)

           Multiple after-all templates are allowed. The leading
             character is a code specifying the dimension type.
                x           min x
                X           max x
                y           min y
                Y           max y
                d           dx
                D           dy
                otherwise   a string with no values
           The delimiter `*' can be substitued by another character.


  ~    \special{t4ht~...}
           Grouped-base two-way delivery for content created by
           inline commands like \over.

       \special{t4ht~}...\special{t4ht~}   on/off

       ~<i...  send forward to the start of the group nested
                                                at relative level i.
       ~>i...  send forward to the end of the group nested
                                                at relative level i.
               i=0, current group


       ~<*...  send back to start of previous token / group.
       \special{t4ht~<)}...\special{t4ht~<(}
           activate / deactivate  back token / group submissions
       \special{~<[}...\special{t4ht~<]}'
           hide region from back submissions over token / group
       \special{t4ht~<-} ... \special{t4ht~<+}
           latex back token / group

       \special{t4ht\string~!...path...<...content}
           insertion at the start of the group reached by the path
       \special{t4ht\string~!...path...>...content}
           insertion at the end of the group reached by the path
       \special{t4ht\string~!...path.../}
           ignore content within the group reached by the path
       \special{t4ht\string~!...path...-}
           ignore rulers from the group reached by the path
           until the start of the next group
        A path may consist only of `e' and `s' characters for,
        respectively, entering and skipping groups

  *!   \special{t4ht*! system command}
           System call
  *^   accent specials
        t text accent #1#2#1#3#1#4#1#5#1#6 pattern
                      empty                insertion point
        m math accent #1#2#1#3#1#4#1#5#1   pattern
                      empty                insertion point
        a accented    #1#2#1#3#1#4#1#5#1#6
        i             #1#2#1#3#1#1
  *@   halign specials

\HCode...............................1

   A wrapper for \special{t4ht=...}.

   The sharp symbol # may be accessed indirectly through the command.

\Hnewline............................0

   Requests new lines within specials



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
******************************************
****** tex4ht.4ht
******************************************
                                         *


Cascade Style Sheets and Character Sets
---------------------------------------

\Configure{CssFile}.....................2

   #1  name for css file
   #2  comment in css file

\Configure{Css}

\Configure{charset}..................1

   #1  override information for the charset entry in the link element

   To be noticed, the configuration should be encountered early in the
   complation.

      Example:

        \Preamble{}
          \Configure{charset}{iso-8859-15}
        \begin{document}
        \EndPreamble

   In the case of TeX, the configuration instruction should precede
   the \Preamble command, and a declaration of the hook should also
   be provided.

      Example:

          \NewConfigure{charset}{1}
          \Configure{charset}{iso-8859-15}
        \Preamble{}
        \begin{document}
        \EndPreamble

\Configure{dtd-lang}..................1

    #1 language specification for the DTD identifier

Paragraphs
----------

Three types of paragraphs are produced by \Configure{HtmlPar}:

   <p class="indent">....</p>
   <p class="noindent">....</p>
   <p class="nopar">....</p>

The third one handles degenerated cases which don't call for a
separate paragraph in the source code. For instance, an inline
display math code of the form

     ..........
     $$......$$
     ..........

translates into a markup similar to

     <p class="...">..........</p>
     <math>......</math>
     <p class="nopar">..........</p>

Frames
------

   May be requested with the command line option `frames'

   \Configure{frames}.....................2

      #1  The frames structure
      #2  Content for the frame of the table of contents

   Example:

      \Configure{frames}
         {\HorFrames[frameborder="no" border="0"
               framespacing="0" rows="*"]{*,3*}
           \Frame[ name="tex4ht-menu" ]{tex4ht-toc}
           \Frame[ name="tex4ht-main" ]{tex4ht-body}}
         {\let\contentsname=\empty \tableofcontents}



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- For section filenames that reflect on their titles use the command
 line option `sec-filename'
--------------------------------------
--------------------------------------
--- Note --- for alternative charset, use the command line option `charset=...'

--------------------------------------
--------------------------------------
--- Note --- to ignore CSS font decoration, use the `NoFonts' command line opti
on
--------------------------------------
--------------------------------------
--- Note --- for jpg bitmaps of pictures, use the `jpg' command line option. (C
haracter bitmaps are controled only by `g' records of tex4ht.env and `-g' switc
hes of tex4ht.c) 
--------------------------------------
--------------------------------------
--- Note --- for gif bitmaps of pictures, use the `gif' command line option. (C
haracter bitmaps are controled only by `g' records of tex4ht.env and `-g' switc
hes of tex4ht.c) 
--------------------------------------
--------------------------------------
--- Note --- for content and toc in 2 frames, use the command line option `fram
es'
--------------------------------------
--------------------------------------
--- Note --- for content, toc, and footnotes in 3 frames, use the command line 
option `frames-fn'
--------------------------------------
--------------------------------------
--- Note --- for file extension name xht, use the command line option `xht'
--------------------------------------
TeX4ht package options: html,2,info
--------------------------------------
--- Note --- to ignore CSS code, use the command line option `-css
--------------------------------------
--------------------------------------
--- Note --- for inline CSS code, use the command line option `css-in'
--------------------------------------
--------------------------------------
--- Note --- for pop ups on mouse over, use the command line option `mouseover'

--------------------------------------
--------------------------------------
--- Note --- for addressing images in a subdirectory, use the command line opti
on `imgdir:.../'
--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
)
\:tokwrite=\toks26
\:tokpage=\toks27
--------------------------------------
--- Note --- for back links to toc, use the command line option `sections+'
--------------------------------------
--------------------------------------
--- Note --- for linear crosslinks of pages, use the command line option `next'

--------------------------------------
\openout15 = `maude-manual.4ct'.

\:tocout=\write8
\openout8 = `maude-manual.4tc'.


(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/latex.4ht
version 2008-09-16-11:44
--------------------------------------
--- Note --- for links into captions, instead of float heads, use the command l
ine option `refcaption'
--------------------------------------

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** latex.4ht
******************************************
                                         *


Sectioning
----------

\Configure{@sec @ssect}


Tables of Contents
------------------


\Configure{tableofcontents}........................5

   #1 before
   #2 at end
   #3 after
   #4 at indented paragraph break
   #5 at non-indented paragraph break

   The \tableofcontents command may be followed by a comma separated
   list of sectioning unit names to be included in the table of
   contents.  The list should be enclosed within square brackets.
   Alternatively, a command of the form \TableOfContents[...] might
   be used.

Lists
-----

\ConfigureList.....................5

   #1   type of list (e.g., itemize, description, enumerate,
                            list, trivlist)
   #2   before list
   #3   after  list
   #4   before label
   #5   after label

   \DeleteMark   removes latex's label; to be placed at the end of #4
   \AnchorLabel  defines an anchor for \label in current item; to
                 be placed in #5


Tables
------

\Configure{tabular}...................6
\Configure{array}.....................6

    #1   before table         #2   after table
    #3   before row           #4   after row
    #5   before cell          #6   after cell

    \HRow         current row number
    \HCol         current column number
    \HMultispan   number of cells covered by the current cell
    \ar:cnt       number of columns in the table

  NOTE: Table require a number of compilations that depends
        on the number of columns.

  Example

   \Configure{tabular}
       {\HCode{<table>}}
       {\HCode{</table>}}
       {\HCode{<tr class="row-\HRow">}}
       {\HCode{</tr>}}
       {\HCode{<td
               \ifnum \HMultispan>1 colspan="\HMultispan"\fi >}}
       {\HCode{</td>}}


\Configure{VBorder}...................4

    Break points, when scanning the pattern of column desriptions, at

    #1  at start of pattern
    #2  at |
    #3  at a non-@ entry
    #4  at a @ entry

  Applies to \begin{tabular / array}{...pattern...}

    \ar:cnt    index of entry in pattern
    \ch:class  records the current alignment type: -,<,>,p,...
    \HColAlign produces the \Configure{halignTD} contribution
               for the current alignment type
    \HColWidth holds the width of the current p column

\Configure{HBorder}..................10

   hline:
    #1  insert at start of row (e.g., <tr>)
    #2  insert at each cell    (e.g., <td><hr/></td>)
    #3  insert at end of row   (e.g., </tr>)

   cline:
    #4  insert at start of row         (e.g., <tr>)
    #5  insert at each `extra' cell    (e.g., <td></td>)
    #6  insert at each cell            (e.g., <td><hr/></td>)
    #7  insert at end of row           (e.g., </tr>)

   vspace:
    #8  insert at start of row (e.g., <tr>)
    #9  insert at each cell    (e.g., <td>&nbsp;</td>)
    #10 insert at end of row   (e.g., </tr>)

   The contributions are collected into \HBorder.  (The \InitHBorder
   clears \HBorder.)

\Configure{putHBorder}...............1
    #1 Specifies how \HBorder is to be used.

   Example: \Configure{putHBorder}{\HCode{\HBorder}}



\Configure{halignTD}..................2 + 2i + {}

  interpretation for character codes referenced in \HAlign

  e.g.,

   \Configure{halignTD}
   {}{}
   {<}{\HCode{style="text-align:left"}}
   {-}{\HCode{style="text-align:center"}}
   {>}{\HCode{style="text-align:right"}}
   {^}{\HCode{style="vertical-align:top"}}
   {=}{\HCode{style="vertical-align:baseline"}}
   {|}{\HCode{style="vertical-align:middle"}}
   {_}{\HCode{style="vertical-align:bottom"}}
   {p}{\HCode{style="text-align:left"}}
   {}

   \halignTD can be used in td elements to extract the alignment.
   It recieves information from \halignTB.

\Configure{halignTB}..................2

   delimiters for \halignTB{tabular}

   Example
       \Configure{halignTB}{\HCode{<table }}{\HCode{>}}

\Configure{tabbing}[mag]..................4

   #1 before each line
   #2 after each line
   #3 before each entry
   #4 after each entry

   [mag] optional parameter specifying the magnification desired
         for the dimensions.  When offered, the other parameters
         have no effect if all of them are assigned empty arguments

   \TabType   \` or \relax
   \TabWidth  Provides the entry width; 0 at trailing entry that is
              not flushed rightward


Cross References
----------------

\Configure{ref}.......................3

  #1   \Link-type command
  #2   \EndLink-type command
  #3   anchor (the system anchor is
               reachable through the parameter name #1)
  \RefArg   Holds the argument of \ref

  If #1 is empty, the hyper links are ignored
  If #3 is empty, the anchor is the one provided by the system

  Example:

    \Configure{ref}{\Link}{\EndLink}{{\bf #1}}

\Configure{pageref}...................3

  #1   before
  #2   after
  #3   anchor (system anchor, if parameter is empty)

\Configure{newlabel}..................2

  #1   address for hyperlink (\cur:th \:currentlabel, if empty)
  #2   anchor (the system anchor is
               reachable through the parameter name #1)

\Configure{@newlabel}.................1

   #1  modifications to the newlabel environment

\Configure{newlabel-ref}..............1

   #1  an intermediate link command for the aux file
       (Configured by \Configure{ref}...)

   The default for #1 is \rEfLiNK

\Configure{cite}......................4

  #1   before
  #2   after
  #3   \Link-type command
  #4   \EndLink-type command

  If #3 is empty, the hyper links are ignored.

\Configure{bibitem}...................2

  #1   \Link-type command
  #2   \EndLink-type command

\Configure{bibcite}...................1

  #1  configurations for content transfered by bibitem to the aux file

  Example:
       \Configure{bibcite}
                 {\def\hookrightarrow{\string\hookrightarrow}}
       \bibitem[$\hookrightarrow$...]{...}


\LoadLabels[#1]{#2}....................

  [#1]   optional group name
  #2     aux file name, without the extension

  Loads labels of another file, under the specified group name

\RefLabel.............................2

  #1     group name (for separating files and labels from
                     different sources)
  #2     label

  A variant of \ref for loading labels produced for other files

  Example:
    file1.tex:  \label{foo}

    file2.tex:  \LoadLabels[x]{file1}
                \RefLabel{x}{foo}

\SkipRefstepAnchor.....................0

    No \Link anchor for next \refstepcounter

\ShowRefstepAnchor.....................0
\AutoRefstepAnchor.....................0


Bibliography on bibtex2 option:

  \Configure{bibliography2}........................ 4

     #1 before anchor
     #2 anchor
     #3 after anchor
     #4 link attributes

    Example:

       \Configure{bibliography2}
          {\bgroup ~~[\Configure{Link}{a}{target="x"  href=}{ name=}{}}
          {more} {]\egroup}

  \Configure{bibitem2}..............................3

     #1 at start of bibitem
     #2 at end of bibitem
     #3 separator after label

  \Configure{bibliographystyle2}....................1

     #1 an empty argument asks for the same style as the
        normal aux file (still bibtex may produce different
        output).

Note: Option `bibtex2' requires compilation
      of `\jobname j.aux' with bibtex.

Captions
--------

refcaption

  An option for \Preamble, requesting anchors at \caption. The default
  setting sends them back to the start of the floating environment.


Theorems
--------

\Configure{newtheorem} ......................3

  #1 before theorem
  #2 between title and body
  #3 after theorem

Math
----
\Configure{()}...............................2
\Configure{[]}...............................2

   Example:

     \Configure{()}{\protect\PicMath$}{$\protect\EndPicMath}
     \Configure{[]} {\Tg<display>\DviMath$$} {$$\EndDviMath\Tg</display>}

\Configure{equation}.........................3

   #1    at start
   #2    between the equation and its numbering
   #3    at end

  Examples:

      \Configure{equation}
           {\IgnorePar\EndP\bgroup \Configure{HtmlPar}{}{}{}{}%
                    \HCode{<table class="equation"><tr><td>}\IgnorePar
           }
           {\HCode{</td><td class="eq-number">}}
           {\HCode{</td></tr></table>}\egroup}

      %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

      \Configure{equation}
         {\IgnorePar\EndP \bgroup \Configure{$$}{}{}{}%
          \Configure{@math}{display="inline"}\DviMath
                  \HCode{<mtable class="equation"><mtr><mtd>}\IgnorePar
         }
         {\IgnorePar\HCode{</mtd><mtd class="eq-number">}}
         {\HCode{</mtd></mtr></mtable>}\EndDviMath\egroup}


\Configure{frac}.............................4
\Configure{sqrtsign}.........................2

\Configure{mbox}.............................2

Environments of latex
---------------------

  \ConfigureEnv{...}.........................4

     #1 environment name
     #2 before env
     #3 after env
     #4 before underlying list
     #5 after underlying list

    #2 and #3 are ignore when they are both empty as well as
    when there is no underlying list


   array
   center
   flushleft
   flushright
   minipage
   tabbing
   tabular
   verbatim*
   verbatim


   \Configure{@begin}........................2

      #1 environment name
      #2 insertion before the environment

   Example:
      \Configure{@begin}{theindex}{\section*{\indexname}}


Verbatim
--------

\Configure{verbatim}......................2

   #1 at start of line
   #2 space character

\Configure{verb}..........................2

   #1 before
   #2 after

\Configure{obeylines}.....................3

   #1 before
   #2 at start of line
   #3 after

\ScriptEnv................................3

  Introduces a verbatim environent

   #1 name
   #2 before
   #3 after

  A `-' immediately after \begin{...} designate as an escape symbol
  the character following the dash

  Example:

     \ScriptEnv{foo}
       {\HCode{<myscript>}\NoFonts\hfill\break }
       {\EndNoFonts \HCode{</myscript>}}

     \begin{foo}
     ....
     ....
     \end{foo}

     \begin{foo}-\relax \unhbox \voidb@x \special {t4ht@+&{35}x00A0{59}}x     .
...
     ....
     \end{foo}


Fonts
-----

\Configure{texttt}........................2
\Configure{textit}........................2
\Configure{textrm}........................2
\Configure{textup}........................2
\Configure{textsl}........................2
\Configure{textsf}........................2
\Configure{textbf}........................2
\Configure{textsc}........................2
\Configure{emph}..........................2

  #1  before content
  #2  after content


Footnotes
---------

\Configure{footnotetext}..................3

    #1 before footnote
    #2 between mark and content
    #3 after footnote

   \FNnum     footnote number

\Configure{footnotemark}..................2

    #1 before
    #2 after

Pictures
--------

\Configure{picture}.......................2

    #1  before
    #2  after

Other Hooks
-----------

\Configure{ }.........................1

   #1 representation for non-breaking space ch

\Configure{hline}.....................1

\Configure{hspace} ...................3

   \tmp:dim      register holding the size
   #1            before the space
   #2            after the space
   #3            after #1 (\tmp:dim mod 6em  copies)

\Configure{vspace} ...................1

   #1 the size of space is prvided in a parameter nmaed `#1'

   Example:

      \Configure{vspace}
      {\ifhmode
         \HCode{<br />}%
         \ifdim #1>1ex \HCode{<br />}\fi
       \fi
      }

\Configure{fbox} .................................. 2

   Examples:

        \Configure{fbox}
          {\HCode{<div class="fbox">}\bgroup \fboxrule=0pt}
          {\egroup\HCode{</div>}}
        \Css{div.fbox {border: 1pt solid black;}}

        \Configure{fbox}
          {\HCode{<table cellspacing="0pt"
              border="1"><tr><td>}\bgroup \fboxrule=0pt}
          {\egroup\HCode{</td></tr></table>}}

\Configure{'} ..................................... 3

   #1 at entry to math prime environment
   #2 at exit
   #3 content of \prime

\Configure{float}....................................
   #1 optional, to appear within brakects [ and ].  An anchor for
      the links preceeding the float, when option refcaption is
      not active
   #2 Insertion before the links
   #3 at start
   #4 at end

\Configure{textcircled}.............................2n+1
   2i'th     replaced       i=1,...,n
   2i+1'st   replacement
   2n+'nd    empty (terminator)


\Configure{add accent}{#1:#2}{#3}{#4}...{}{}
   #1  encoding
   #2  font number
   #3  character under font
   #4  replacement

   Applies to accents that reach \add@accent

  Example:

     \Configure{add accent}{OT4:18}
       {E}{\add:acc{00C8}}
       {e}{\add:acc{00E8}}
       {}{}




\Configure{//[]}
\Configure{AfterTitle}
\Configure{HAccent}
\Configure{InsertTitle}
\Configure{accents}
\Configure{accent}
\Configure{centercr}
\Configure{centerline}

\Configure{displaylines}
\Configure{framebox}

\Configure{leftline}
\Configure{marginpar}
\Configure{mathaccent}
\Configure{newline}
\Configure{oalign}

\Configure{overline}

\Configure{rightline}
\Configure{stackrel}
\Configure{tt}
\Configure{underline}
\Configure{thanks}....................2




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
******************************************
****** latex.4ht
******************************************
                                         *


Hypertext Title
---------------
\Configure{@HTML}.........................1

   Environment for setting \title material in <title>. The contributions
   are accumulative; an empty argument reinitializes the contribution.

Tables
------

Properties of tabular and array tables can be locally redefined with
instructions of the following forms.

   \Css{\#TBL-\TableNo-  {....}}           % within tables
   \Css{\#TBL-\TableNo-\HRow- {....}}      % within rows
   \Css{\#TBL-\TableNo-\HCol  {....}}      % within columns
   \Css{\#TBL-\TableNo-\HRow-\HCol {....}} % within cells
   \Css{\#TBL-\TableNo-<i>g  {....}}       % column group; <i>

\Configure{enumerate}..............1
   Contribution into <ol>




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- For mini tocs immediately aftter the header use the command line o
ption `minitoc<'
--------------------------------------
--------------------------------------
--- Note --- for enumerated list elements li's with value attributes, use the c
ommand line option `li-'
--------------------------------------
--------------------------------------
--- Note --- for CSS2 code, use the command line option `css2'
--------------------------------------
--------------------------------------
--- Note --- for pictorial tabular, use the command line option `pic-tabular'
--------------------------------------
--------------------------------------
--- Note --- for bitmap fbox'es, use the command line option `pic-fbox'
--------------------------------------
--------------------------------------
--- Note --- for bitmap framebox'es, use the command line option `pic-framebox'

--------------------------------------
--------------------------------------
--- Note --- for inline footnotes use command line option `fn-in'
--------------------------------------
--------------------------------------
--- Note --- for tracing of latex font commands, use the command line option `f
onts'
--------------------------------------
--------------------------------------
--- Note --- for width specifications of tabular p entries, use the `p-width' c
ommand line option or a configuration similar to \Configure{HColWidth}{\HCode{ 
style="width:\HColWidth"}}
--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- for pictorial eqnarray, use the command line option `pic-eqnarray'

--------------------------------------
--------------------------------------
--- Note --- for pictorial array, use the command line option `pic-array'
--------------------------------------
--------------------------------------
--- Note --- for pictorial $...$ environments, use the command line option `pic
-m' (not recommended!!)
--------------------------------------
--------------------------------------
--- Note --- for pictorial $...$ and $$...$$ environments with latex alt, use t
he command line option `pic-m+' (not safe!!)
--------------------------------------
--------------------------------------
--- Note --- for pictorial array, use the command line option `pic-array'
--------------------------------------
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/fontmath.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** fontmath.4ht
******************************************
                                         *


\Configure{mathbf}........................2
\Configure{mathit}........................2
\Configure{mathrm}........................2
\Configure{mathsf}........................2
\Configure{mathtt}........................2

  #1  before content
  #2  after content

\Configure{overbrace}.................3
\Configure{underbrace}................3



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/book.4ht
version 2008-09-16-11:44
--------------------------------------
--- Note ---  A script of the form 
tex '\def \filename{{%%1}{idx}{4dx}{ind}} \input idxmake.4ht' 
makeindex -o %%1.ind %%1.4dx 
in the env file, automatically calls to the revised makeindex 
command. An extra compilation of the source LaTeX file is required, 
to get the index correctly into the output.
--------------------------------------

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** book.4ht
******************************************
                                         *



Title Page
----------
\Configure{maketitle}.....................4

   #1 start of maketitle
   #2 end of maketitle
   #3 before title
   #4 after title

\Configure{thanks author date and}........8

   #1  before thanks
   #2  after thanks
   #3  before author
   #4  after author
   #5  before date
   #6  after date
   #7  representation of `and'
   #8  line breaks (= end of rows, for an embedded tabular environment)


Sectioning
----------

\Configure{part}
\Configure{section}
\Configure{subsection}
\Configure{subsubsection}
\Configure{paragraph}
\Configure{subparagraph}

\Configure{likepart}
\Configure{likechapter}
\Configure{likesection}
\Configure{likesubsection}
\Configure{likesubsubsection}
\Configure{likeparagraph}
\Configure{likesubparagraph}

Bibliography
------------

\ConfigureList{thebibliography}......4

   #1   before list
   #2   after  list
   #3   before label
   #4   after label

   \DeleteMark   removes latex's label; to be placed at the end of #3
   \AnchorLabel  defines an anchor for \label in current item; to
                 be placed in #4

\Configure{cite}        see the
\Configure{bibitem}     latex section



\ConfigureToc

 lof, lot, appendix, chapter, likechapter, likeparagraph, likepart,
 likesection, likesubparagraph, likesubsection, likesubsubsection,
 paragraph, part, section, subparagraph, subsection, subsubsection


\Configure{appendixTITLE+}........1
\Configure{chapterTITLE+}.........1
\Configure{partTITLE+}............1
\Configure{sectionTITLE+}.........1
\Configure{subsectionTITLE+}......1
\Configure{subsubsectionTITLE+}...1

   #1  the content of <TITLE>

   The insertion overrides the one offered by \Configure{CutAtTITLE+}
   for the given section type (the `like' counterparts acn also be
   configured).

   The sectioning title content can be accessed through the parameter #1.

   Example:

     \Configure{chapterTITLE+}{Synodos - #1}

\Configure{endpart}................1
\Configure{endchapter}.............1
\Configure{endsection}.............1
\Configure{endsubsection}..........1
\Configure{endsubsubsection}.......1
\Configure{endparagraph}...........1
\Configure{endsubparagraph}........1
\Configure{endappendix}............1
\Configure{endlikepart}............1
\Configure{endlikechapter}.........1
\Configure{endlikesection}.........1
\Configure{endlikesubsection}......1
\Configure{endlikesubsubsection}...1
\Configure{endlikeparagraph}.......1
\Configure{endlikesubparagraph}....1

   #1  a comma separated list specifying the end
       points for the configured logical unit

   e.g., \Configure{endsection}
              {likesection,chapter,likechapter,appendix,part,likepart}




\Configure{tableofcontents*}.......................1

    #1  A non-empty  parameter asks to implicitly introduce
        a \tableofcontents upon reaching the first sectioning
        command, if no \tableofcontents command is encountered
        earlier. The parameter assumes a colon-separated list
        of sectioning types to be included in the output
        of \tableofcontents.  Starred variants of sectioning
        types should be referenced with the `like' prefix.

        An empty parameter cancels earlier requests for implicit
        calls to \tableofcontents (e.g., embedded within requests
        to package options 1, 2, 3, 4)

   Example:

      \Configure{tableofcontents*}{part,likepart,%
           section,likesection,subsection,likesubsection}

\contentsname

   A LaTeX macro stating the title for a table of contents division.



Index (\theindex)
-----------------


\Configure{theindex} ..........................9

     #1    before-env
     #2    after-env
     #3    before-item
     #4    after-item
     #5    before-subitem
     #6    after-subitem
     #7    before-subsubitem
     #8    after-subsubitem
     #9    at-indexspace

    Example:

       \Configure{theindex}
          {\HCode{<ul class="theindex">}\global\let\IndexSpace=\empty}
          {\HCode{</ul>}}
          {\HCode{<li \IndexSpace>}\global\let\IndexSpace=\empty}
                                         {\HCode{</li>\Hnewline}}
          {\HCode{<li>}\ \ \ \ }         {\HCode{</li>\Hnewline}}
          {\HCode{<li>}\ \ \ \ \ \ \ \ } {\HCode{</li>\Hnewline}}
          {\global\def\IndexSpace{class="indexspace"}}

       \Css{.indexspace{margin-top:1em;}}

    The links are indirectly requested in the idx files within
    \beforeentry macros. For instance, a file try.tex

       \documentclass{article}
          \makeindex
       \begin{document}

       \section{xx}

       \index{a1}  x
       \index{a2}  x
       \index{a2}  x
       \index{b1}  x
       \index{b2}  x
       \index{b3}  x

       \input \jobname.ind

       \end{document}

    produces a file try.idx of the form

       \beforeentry{try.html}{dx1-1001}{}
       \indexentry{a1}{1}
       \beforeentry{try.html}{dx1-1002}{}
       \indexentry{a2}{1}
       \beforeentry{try.html}{dx1-1003}{}
       \indexentry{a2}{1}
       \beforeentry{try.html}{dx1-1004}{}
       \indexentry{b1}{1}
       \beforeentry{try.html}{dx1-1005}{}
       \indexentry{b2}{1}
       \beforeentry{try.html}{dx1-1006}{}
       \indexentry{b3}{1}

    where each pair

        \beforeentry{A}{B}{}\indexetry{C}{D}

    represents an entry of the form

        \indexentry{\Link[A]{B}{}C\EndLink}{D}

    The makeindex utility ignores the \beforeentry records.  To compensate
    for that, one needs to pre-process the idx file which is introduced to
    the makeindex utility and/or post-process the output of the utility.

    A script consisting of two instructions similar to

      tex '\def\filename{{try}{idx}{4dx}{ind}} \input idxmake.4ht'
      makeindex -o try.ind try.4dx

    instead of

      makeindex -o try.ind try.idx

    should do the job.

    On some platforms, the quotation marks ' should be
    replaced by double quotation marks " or eliminated.

\Configure{makeindex} ..........................1

    The default setting, requests consecutive numbers for the
    pointers in the indexes.  The current command provides the
    means to configure the pointers to other values.

    Example: \Configure{makeindex}{Sec \arabic{section}}



Environments of book:
---------------------

  \ConfigureEnv{...}.........................4

   description
   figure
   figure*
   quotation
   quote
   table
   table*
   thebibliography
   titlepage
   verse

\Configure{listof}

\Configure{appendix}
\Configure{caption}
\Configure{chapter}



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
******************************************
****** book.4ht
******************************************
                                         *


Package options
---------------

   1   cut-off document into pages at the \part level
   2   cut-off document into pages at the \chapter and higher levels
   3   cut-off document into pages at the \section and higher levels
   4   cut-off document into pages at the \subsection and higher levels

       The chapter of \tableofcontents  is created only
       if \contentsname is not empty

  Macros sensitive to edef commands in sectioning titles
  should be neutralize within \Configure{@TITLE}{....}


Wrapper for the Document
------------------------

   \Tag{TITLE+}......................1

   #1  Content submitted to the <TITLE> element of the leading
       web page.

   This instruction should be used at most once in a document.
   In particular, it shouldn't be used when the \maketitle command
   is present, since the latter command invokes this feature.




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- for tocs without * entries, use command line option `notoc*'
--------------------------------------
--------------------------------------
--- Note --- for tocs without * entries, use command line option `notoc*'
--------------------------------------
--------------------------------------
--- Note --- to eliminate mini tables of contents, use the command line option 
`nominitoc'
--------------------------------------
--------------------------------------
--- Note --- for frames-like object-based table of contents, use the command li
ne option `obj-toc'
--------------------------------------
--------------------------------------
--- Note --- for files named derived from section titles, use the command line 
option `sec-filename'
--------------------------------------
--------------------------------------
--- Note --- for i-columns index, use the command line option `index=i' (e.g., 
index=2)
--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/ifthen.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/graphicx.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/graphics.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** graphics.4ht
******************************************
                                         *


\Configure{graphics}...............2

    #1  before \includegraphics
    #2  after \includegraphics


    Examples:

       \Configure{graphics}
          {\Picture+[PIC]{ class="graphics"}}
          {\EndPicture }

       \Configure{graphics}
         {\bgroup
             \Configure{IMG}
                {\ht:special{t4ht=<img src="}}
                {\ht:special{t4ht=" alt="}}
                {" }
                {\ht:special{t4ht=" }}
                {}%
          \Picture+[PIC]{}}
         {\EndPicture
             \def\temp{.pstex}\expandafter\ifx
                              \csname Gin@ext\endcsname\temp
                                         \HCode{ width="75\%" }\fi
             \HCode{ />}%
          \egroup}


\Configure{graphics*}..............2

    #1  extension name
    #2  insertion

    \Gin@base (file name), \Gin@ext, \Gin@req@width, \Gin@req@height,
    \noBoundingBox (defined iff bounding box is unknown)

    Allows to configure tex4ht for graphics files named in
    the \includegraphics macro, based on the type of the files.

    An empty insertion #2 cancels previous requests for the
    specified extension.

    Example:

       \Configure{graphics*}
         {jpg}
         {\Picture[pict]{\csname Gin@base\endcsname.jpg}}

       \Configure{graphics*}
         {wmf}
         {\Needs{"convert \csname Gin@base\endcsname.wmf
                          \csname Gin@base\endcsname.gif"}%
          \Picture[pict]{\csname Gin@base\endcsname.gif
                      width="\expandafter\the\csname
                                Gin@req@width\endcsname"
                     height="\expandafter\the\csname
                                Gin@req@height\endcsname"}%
         }

       \Configure{graphics*}
         {eps}
         {\openin15=\csname Gin@base\endcsname\PictExt\relax
          \ifeof15
             \Needs{"convert \csname Gin@base\endcsname.eps
                             \csname Gin@base\endcsname\PictExt"}%
          \fi
          \closein15
          \Picture[pict]{\csname Gin@base\endcsname\PictExt}%
         }

  Note: Arguments of the \includegraphics command such as angle and
    scale in

       \includegraphics[angle=-90,scale=0.5]{fig.eps}

    are not known to the given figure (e.g., to fig.eps). To be
    taken into account, the scripts should handle the transformations
    they request (e.g., in \csname Grot@angle\endcsname,
    \csname Gscale@x\endcsname, \csname Gscale@y\endcsname)



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- if included graphics are of degraded quality, try the command line
 options `graphics-num' or `graphics-'. The `num' should provide the density of
 pixels in the bitmaps (e.g., 110). 
--------------------------------------
--------------------------------------
--- Note --- for key dimensions try the option `Gin-dim'; for key dimensions wh
en bounding box is unavailable try `Gin-dim+'; neither is recommended
--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/dvips.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/url.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** url.4ht
******************************************
                                         *


\Configure{url}




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
--------------------------------------
--- Note --- for URL encoding within href use the command line option `url-enc'

--------------------------------------
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/alltt.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** alltt.4ht
******************************************
                                         *


Environments of alltt:

   alltt



                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/verbatim.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/amssymb.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/amsfonts.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** amsfonts.4ht
******************************************
                                         *


\Configure{mathbb}........................2
\Configure{mathfrak}......................2

  #1  before content
  #2  after content




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/multicol.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/multirow.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/hyperref.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section

(/usr/local/texlive/2008/texmf-dist/tex/latex/oberdiek/refcount.sty
Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
)
\c@section@level=\count117
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/nameref.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** hyperref.4ht
******************************************
                                         *


A trick like the following one allows a compilation to choose
between a pdf and a html mode automatically.

   \ifx \HCode\UnDef  \usepackage[pdf]{hyperref}
   \else              \usepackage[tex4ht]{hyperref}  \fi

The trick assumes the compilations for html are invoked by
htlatex-like commands.

\Configure{::#1}
\Configure{::action}
\Configure{::default}
\Configure{::menulength}
\Configure{::method}
\Configure{::name}
\Configure{::value}
\Configure{CheckBox::checked}
\Configure{CheckBox::}
\Configure{ChoiceMenu::combo}
\Configure{ChoiceMenu::popdown}
\Configure{ChoiceMenu::radio}
\Configure{ChoiceMenu::}
\Configure{Form}
\Configure{PushButton::}
\Configure{Reset::}
\Configure{Submit::}
\Configure{TextField::default}
\Configure{TextField::multiline}
\Configure{TextField::password}
\Configure{TextField::width}
\Configure{TextField::}
\Configure{combo::default}
\Configure{multiline::value}
\Configure{multiline::width}
\Configure{radio::default}




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/pd1enc.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/index.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** index.4ht
******************************************
                                         *


\Configure{NoSection}




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/color.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
******************************************
****** color.4ht
******************************************
                                         *


\Configure{HColor}......................2

      #1 color name
      #2 color value

  Examples:  \Configure{HColor}{blue}{\#0000FF}
             \Configure{HColor}{light}{rgb(122,251,255)}

\Configure{colorbox}
\Configure{color}
\Configure{textcolor}




                                         *
******************************************
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/dvipsnam.4ht
version 2008-09-16-11:44

(/usr/local/texlive/2008/texmf-dist/tex/latex/graphics/dvipsnam.def)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/info4ht.4ht
version 2007-11-19-23:20
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/infoht4.4ht
version 2005-10-10-09:49
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4.4ht
version 2008-09-06-23:50
)
(/usr/local/texlive/2008/texmf-dist/tex/generic/tex4ht/html4-math.4ht
version 2008-09-06-23:50
))
(./maude-manual.aux)
\openout1 = `maude-manual.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 94.
LaTeX Font Info:    ... okay on input line 94.
Package hyperref Info: Link coloring ON on input line 94.
LaTeX Info: Redefining \ref on input line 94.
LaTeX Info: Redefining \pageref on input line 94.
\AtBeginShipoutBox=\box53
--- file maude-manual.css ---
 [1

] [2

] [1] [2

] [3]
LaTeX Font Info:    Try loading font information for U+lasy on input line 122.

(/usr/local/texlive/2008/texmf-dist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+msa on input line 122.

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 122.

(/usr/local/texlive/2008/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
) [1] [2]
[3

] [4] (./maude-manual.4ct [5

] [6] [7])
--- file maude-manualli1.html ---
 (./maude-manual.4ct [8] [9] [10]
[11] [12]) [13] [14

]
--- file maude-manualli2.html ---
 (./maude-manual.4ct) [15

] [16

] (./introduction-manual.tex
[1] [2

]
Chapter 1.
--- file maude-manualch1.html ---
l.18 --- TeX4ht warning --- If not done so, the index is to be processed by 
  tex '\def\filename{{maude-manual}{idx}{4dx}{ind}} \input  idxmake.4ht' 
  makeindex -o maude-manual.ind maude-manual.4dx 
instead of 
  makeindex -o maude-manual.ind maude-manual.idx
On some platforms, the quotation marks ' should be 
 replaced by double quotation marks " or eliminated.  ---
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 24.
(/usr/local/texlive/2008/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 24.
--- file maude-manual5.html ---
 [3

] [4

] [5]
[6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
--- file maude-manual6.html ---
--- file maude-manual7.html ---
 [16


] [17]
--- file maude-manual8.html ---
 [18

] [19] [20]
--- file maude-manual9.html ---
 [21]
--- file maude-manual10.html ---

[22

] [23]
l. 691 Writing maude-manual.idv[1] (maude-manual0x.png)
--- file maude-manual11.html ---
 [24

] [25] [26]
l. 770 Writing maude-manual.idv[2] (maude-manual1x.png)
 [27] [28] [29]
l. 920 Writing maude-manual.idv[3] (maude-manual2x.png)
l. 929 Writing maude-manual.idv[4] (maude-manual3x.png)
 [30] [31] [32] [33]
(./structure-manual.tex [34] [35]) [36]) [37] [38

] [39

] [40]
--- file maude-manualpa1.html ---
 (./using-maude.tex [41] [42

]
Chapter 2.
(./maude-manual.4ct [43])
--- file maude-manualch2.html ---
 [44] [45] [46

]
l. 27 Writing maude-manual.idv[5] (maude-manual4x.png)
File: figures/snapshot-web.eps Graphic file (type eps)
 <figures/snapshot-web.eps> [47

]
[48

] [49]
--- file maude-manual14.html ---

l.87 --- TeX4ht warning --- If not done so, the index is to be processed by 
  tex '\def\filename{{maude-manual}{modidx}{4dx}{modind}} \input  idxmake.4ht' 

  makeindex -o maude-manual.modind maude-manual.4dx 
instead of 
  makeindex -o maude-manual.modind maude-manual.modidx
On some platforms, the quotation marks ' should be 
 replaced by double quotation marks " or eliminated.  ---
[50

] [51] [52] [53] [54] [55] [56] [57] [58

]
l. 270 Writing maude-manual.idv[6] (maude-manual5x.png)
File: figures/snapshot-emacs.eps Graphic file (type eps)
 <figures/snapshot-emacs.eps>
[59

] [60

] [61] [62]) (./syntax-parsing.tex [63] [64

]
Chapter 3.
--- file maude-manualch3.html ---
--- file maude-manual16.html ---
[65


] [66] [67] [68] [69] [70]
l. 267 Writing maude-manual.idv[7] (maude-manual6x.png)
l. 269 Writing maude-manual.idv[8] (maude-manual7x.png)
 [71]
Missing character: There is no Ê in font cmr10!
 [72] [73] [74]
l. 412 Writing maude-manual.idv[9] (maude-manual8x.png)
 [75] [76] [77] [78] [79]
[80]
--- file maude-manual17.html ---
 [81

] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94]
--- file maude-manual18.html ---

[95

] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107]
[108]) (./functional-modules.tex [109] [110

]
Chapter 4.
--- file maude-manualch4.html ---
[111

] [112] [113] [114] [115] [116]
--- file maude-manual20.html ---
 [117

] [118] [119]
--- file maude-manual21.html ---
 [120

]
--- file maude-manual22.html ---
--- file maude-manual23.html ---
 [121


] [122]
--- file maude-manual24.html ---

[123

] [124] [125]
l. 553 Writing maude-manual.idv[10] (maude-manual9x.png)
 [126] [127] [128] [129] [130] [131] [132] [133] [134]
[135] [136] [137] [138]
--- file maude-manual25.html ---
 [139

] [140] [141] [142] [143] [144] [145] [146]
[147] [148] [149] [150] [151] [152] [153] [154] [155]
--- file maude-manual26.html ---
 [156

]
--- file maude-manual27.html ---
 [157

] [158]
[159] [160] [161] [162] [163] [164] [165] [166] [167]
--- file maude-manual28.html ---
 [168

] [169] [170]
[171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182]
[183] [184] [185] [186]
--- file maude-manual29.html ---
 [187

] [188] [189] [190] [191]
--- file maude-manual30.html ---
l. 2276 Writing maude-manual.idv[11] (maude-manual10x.png)
l. 2281 Writing maude-manual.idv[12] (maude-manual11x.png)
l. 2299 Writing maude-manual.idv[13] (maude-manual12x.png)
 [192

]
l. 2306 Writing maude-manual.idv[14] (maude-manual13x.png)
l. 2315 Writing maude-manual.idv[15] (maude-manual14x.png)
 [193]
l. 2360 Writing maude-manual.idv[16] (maude-manual15x.png)
 [194]
[195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206]
[207]
--- file maude-manual31.html ---
l. 2619 Writing maude-manual.idv[17] (maude-manual16x.png)
 [208

]
l. 2630 Writing maude-manual.idv[18] (maude-manual17x.png)
l. 2634 Writing maude-manual.idv[19] (maude-manual18x.png)
l. 2639 Writing maude-manual.idv[20] (maude-manual19x.png)
l. 2644 Writing maude-manual.idv[21] (maude-manual20x.png)
 [209]
--- file maude-manual32.html ---
--- file maude-manual33.html ---
--- file maude-manual34.html ---
 [210



] [211] [212

]
l. 2765 Writing maude-manual.idv[22] (maude-manual21x.png)
File: figures/confluence-diagram.eps Graphic file (type eps)
 <figures/confluence-diagram.eps> [213

]
l. 2774 Writing maude-manual.idv[23] (maude-manual22x.png)
l. 2815 Writing maude-manual.idv[24] (maude-manual23x.png)
l. 2846 Writing maude-manual.idv[25] (maude-manual24x.png)

[214

]
l. 2848 Writing maude-manual.idv[26] (maude-manual25x.png)
 [215] [216] [217] [218] [219]
l. 3045 Writing maude-manual.idv[27] (maude-manual26x.png)
 [220]
l. 3073 Writing maude-manual.idv[28] (maude-manual27x.png)
l. 3088 Writing maude-manual.idv[29] (maude-manual28x.png)
 [221] [222]
l. 3115 Writing maude-manual.idv[30] (maude-manual29x.png)
l. 3119 Writing maude-manual.idv[31] (maude-manual30x.png)
l. 3119 Writing maude-manual.idv[32] (maude-manual31x.png)
l. 3120 Writing maude-manual.idv[33] (maude-manual32x.png)
l. 3121 Writing maude-manual.idv[34] (maude-manual33x.png)
l. 3122 Writing maude-manual.idv[35] (maude-manual34x.png)
l. 3123 Writing maude-manual.idv[36] (maude-manual35x.png)
l. 3126 Writing maude-manual.idv[37] (maude-manual36x.png)
l. 3131 Writing maude-manual.idv[38] (maude-manual37x.png)
 [223]
l. 3139 Writing maude-manual.idv[39] (maude-manual38x.png)
 [224] [225]
[226] [227] [228] [229] [230]
--- file maude-manual35.html ---
 [231

] [232] [233] [234] [235] [236]
--- file maude-manual36.html ---
 [237

]
[238] [239]) (./system-modules.tex [240] [241

] [242

]
Chapter 5.
--- file maude-manualch5.html ---
[243] [244] [245] [246]
--- file maude-manual38.html ---
l. 204 Writing maude-manual.idv[40] (maude-manual39x.png)
 [247

] [248] [249]
--- file maude-manual39.html ---
l. 320 Writing maude-manual.idv[41] (maude-manual40x.png)
l. 329 Writing maude-manual.idv[42] (maude-manual41x.png)
 [250

] [251] [252

]
l. 396 Writing maude-manual.idv[43] (maude-manual42x.png)
File: figures/coherence-diagram.eps Graphic file (type eps)

<figures/coherence-diagram.eps> [253

]
l. 489 Writing maude-manual.idv[44] (maude-manual43x.png)
 [254

]
--- file maude-manual40.html ---
 [255

] [256] [257] [258] [259]
[260] [261] [262] [263] [264] [265] [266] [267]
l. 866 Writing maude-manual.idv[45] (maude-manual44x.png)
 [268] [269] [270] [271]
[272] [273] [274

]
l. 993 Writing maude-manual.idv[46] (maude-manual45x.png)
File: figures/vending-machine-search-graph.eps Graphic file (type eps)
 <figures/vending-machine-search-graph.eps> [275

] [276

]
[277] [278] [279] [280]) (./module-operations.tex [281] [282

]
Chapter 6.
--- file maude-manualch6.html ---
[283

] [284]
l. 194 Writing maude-manual.idv[47] (maude-manual46x.png)
l. 205 Writing maude-manual.idv[48] (maude-manual47x.png)
 [285]
l. 265 Writing maude-manual.idv[49] (maude-manual48x.png)
 [286]
l. 351 Writing maude-manual.idv[50] (maude-manual49x.png)
 [287] [288] [289] [290] [291] [292] [293] [294]
[295] [296] [297] [298] [299] [300] [301] [302] [303] [304] [305] [306]
[307] [308] [309] [310] [311] [312] [313] [314] [315] [316] [317] [318]
l.1026 --- TeX4ht warning --- If not done so, the index is to be processed by 
  tex '\def\filename{{maude-manual}{thridx}{4dx}{thrind}} \input  idxmake.4ht' 

  makeindex -o maude-manual.thrind maude-manual.4dx 
instead of 
  makeindex -o maude-manual.thrind maude-manual.thridx
On some platforms, the quotation marks ' should be 
 replaced by double quotation marks " or eliminated.  ---
[319] [320]
l. 1083 Writing maude-manual.idv[51] (maude-manual50x.png)
--- file maude-manual42.html ---
 [321

] [322]
--- file maude-manual43.html ---
 [323

] [324] [325] [326] [327] [328] [329] [330]
[331] [332] [333

]
l. 1367 Writing maude-manual.idv[52] (maude-manual51x.png)
File: figures/order-theories.eps Graphic file (type eps)
 <figures/order-theories.eps> [334

] [335

] [336]
--- file maude-manual44.html ---

l.1508 --- TeX4ht warning --- If not done so, the index is to be processed by 
  tex '\def\filename{{maude-manual}{viewidx}{4dx}{viewind}} \input  idxmake.4ht
' 
  makeindex -o maude-manual.viewind maude-manual.4dx 
instead of 
  makeindex -o maude-manual.viewind maude-manual.viewidx
On some platforms, the quotation marks ' should be 
 replaced by double quotation marks " or eliminated.  ---
[337

] [338] [339]
l. 1586 Writing maude-manual.idv[53] (maude-manual52x.png)
l. 1594 Writing maude-manual.idv[54] (maude-manual53x.png)
l. 1596 Writing maude-manual.idv[55] (maude-manual54x.png)
 [340] [341] [342] [343] [344]
--- file maude-manual45.html ---
LaTeX Font Info:    Try loading font information for OMS+cmtt on input line 167
9.
LaTeX Font Info:    No file OMScmtt.fd. on input line 1679.


LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font)              using `OMS/cmsy/m/n' instead
(Font)              for symbol `textbraceleft' on input line 1679.

[345

] [346] [347] [348] [349]
--- file maude-manual46.html ---
 [350

] [351]
--- file maude-manual47.html ---
 [352

] [353] [354] [355] [356

]
l. 2099 Writing maude-manual.idv[56] (maude-manual55x.png)
File: figures/lex-pair.eps Graphic file (type eps)

<figures/lex-pair.eps> [357

] [358

]
Missing character: There is no Ê in font cmr10!
 [359]
--- file maude-manual48.html ---
 [360

]
--- file maude-manual49.html ---
 [361

] [362] [363] [364] [365]
[366] [367] [368] [369] [370] [371] [372] [373] [374] [375] [376] [377]
[378] [379] [380] [381] [382] [383] (./sorted-lists-manual.tex [384] [385]
[386] [387] [388] [389] [390] [391] [392] [393] [394] [395] [396]))
(./predefined-modules.tex [397] [398

]
Chapter 7.
--- file maude-manualch7.html ---
[399

] [400

]
l. 23 Writing maude-manual.idv[57] (maude-manual56x.png)
File: figures/predefined-modules.eps Graphic file (type eps)
 <figures/predefined-modules.eps> [401

] [402

] [403]
--- file maude-manual51.html ---
 [404

] [405]
--- file maude-manual52.html ---

[406

] [407] [408] [409] [410] [411] [412] [413] [414] [415] [416] [417]
[418] [419] [420]
l. 490 Writing maude-manual.idv[58] (maude-manual57x.png)
 [421] [422] [423] [424] [425] [426] [427] [428] [429]
[430] [431] [432] [433] [434] [435] [436] [437] [438] [439] [440] [441]
[442]
--- file maude-manual53.html ---
 [443

] [444] [445] [446] [447] [448] [449] [450] [451] [452] [453]
[454] [455] [456] [457] [458] [459] [460] [461] [462] [463] [464] [465]
[466] [467] [468] [469] [470] [471] [472] [473] [474] [475] [476] [477]
[478] [479] [480] [481] [482] [483] [484] [485] [486] [487] [488] [489]
[490] [491] [492] [493] [494] [495] [496] [497] [498] [499] [500] [501]
[502] [503] [504] [505] [506] [507] [508] [509] [510] [511] [512] [513]
[514] [515] [516] [517] [518] [519] [520] [521] [522] [523] [524] [525]
[526] [527] [528] [529] [530] [531] [532] [533] [534] [535] [536] [537]
[538] [539] [540] [541] [542] [543] [544] [545] [546] [547] [548] [549]
[550] [551] [552] [553] [554] [555] [556] [557] [558] [559] [560] [561]
[562] [563] [564] [565] [566] [567] [568] [569] [570] [571] [572] [573]
l. 2313 Writing maude-manual.idv[59] (maude-manual58x.png)

[574] [575] [576] [577] [578] [579] [580] [581] [582] [583] [584] [585]
[586] [587] [588] [589] [590] [591] [592]
--- file maude-manual54.html ---
 [593

] [594] [595] [596] [597]
[598] [599] [600] [601] [602] [603] [604] [605] [606] [607] [608] [609]
[610] [611] [612] [613] [614] [615] [616] [617] [618] [619] [620] [621]
[622] [623] [624] [625] [626] [627] [628] [629] [630] [631] [632] [633]
[634] [635] [636] [637] [638] [639

]
l. 3213 Writing maude-manual.idv[60] (maude-manual59x.png)
File: figures/predefined-parameterized.eps Graphic file (type eps)
 <figures/predefined-parameterized.eps>
[640

] [641

] [642] [643] [644] [645] [646] [647] [648] [649] [650] [651]
[652] [653] [654] [655] [656] [657] [658] [659] [660] [661] [662] [663]
[664] [665] [666] [667] [668] [669] [670] [671] [672] [673] [674] [675]
[676] [677] [678] [679] [680] [681] [682] [683] [684] [685] [686] [687]
[688] [689] [690] [691] [692] [693] [694] [695] [696] [697] [698] [699

]
l. 4156 Writing maude-manual.idv[61] (maude-manual60x.png)
File: figures/weakly-sortable-list.eps Graphic file (type eps)

<figures/weakly-sortable-list.eps> [700

] [701

]
--- file maude-manual55.html ---
 [702

] [703] [704] [705] [706

]
l. 4268 Writing maude-manual.idv[62] (maude-manual61x.png)
File: figures/sortable-list.eps Graphic file (type eps)

<figures/sortable-list.eps> [707

] [708

] [709] [710] [711] [712] [713] [714]
[715

]
l. 4364 Writing maude-manual.idv[63] (maude-manual62x.png)
File: figures/weakly-sortable-list-prime.eps Graphic file (type eps)
 <figures/weakly-sortable-list-prime.eps>
l. 4365 Writing maude-manual.idv[64] (maude-manual63x.png)
File: figures/sortable-list-prime.eps Graphic file (type eps)

<figures/sortable-list-prime.eps> [716

] [717

] [718] [719] [720] [721] [722]
[723] [724] [725] [726] [727] [728] [729] [730] [731] [732] [733]
l. 4683 Writing maude-manual.idv[65] (maude-manual64x.png)
 [734]
[735] [736] [737] [738] [739] [740] [741] [742] [743] [744] [745] [746]
[747] [748] [749] [750] [751] [752] [753]
l. 5030 Writing maude-manual.idv[66] (maude-manual65x.png)
 [754] [755] [756] [757]
l. 5093 Writing maude-manual.idv[67] (maude-manual66x.png)
l. 5095 Writing maude-manual.idv[68] (maude-manual67x.png)
 [758]
[759] [760]
l. 5184 Writing maude-manual.idv[69] (maude-manual68x.png)
 [761] [762] [763] [764]) (./object-based-programming.tex [765]
[766

]
Chapter 8.
--- file maude-manualch8.html ---
[767

] [768] [769] [770] [771] [772] [773] [774] [775] [776] [777] [778]
[779] [780] [781] [782

]
l. 412 Writing maude-manual.idv[70] (maude-manual69x.png)
File: figures/bank-modules.eps Graphic file (type eps)
 <figures/bank-modules.eps> [783

] [784

] [785] [786]
[787] [788] [789] [790] [791] [792

]
l. 628 Writing maude-manual.idv[71] (maude-manual70x.png)
File: figures/ticker-modules.eps Graphic file (type eps)
 <figures/ticker-modules.eps> [793

] [794

]
[795] [796] [797] [798] [799] [800] [801] [802] [803] [804] [805] [806]
--- file maude-manual57.html ---
--- file maude-manual58.html ---

[807

] [808

] [809] [810] [811] [812] [813] [814] [815] [816] [817

]
l. 1281 Writing maude-manual.idv[72] (maude-manual71x.png)
File: figures/data-agents-modules.eps Graphic file (type eps)

<figures/data-agents-modules.eps> [818

] [819

] [820] [821] [822] [823] [824]
[825] [826] [827] [828] [829] [830] [831] [832] [833] [834] [835] [836]
[837] [838] [839] [840] [841] [842] [843] [844] [845] [846] [847] [848]
[849] [850] [851] [852] [853]
--- file maude-manual59.html ---
 [854

] [855] [856] [857] [858] [859] [860]
[861] [862] [863]
--- file maude-manual60.html ---
 [864

] [865]) (./invariants-search.tex [866] [867

] [868

]
Chapter 9.
--- file maude-manualch9.html ---
l. 59 Writing maude-manual.idv[73] (maude-manual72x.png)
[869]
--- file maude-manual62.html ---
 [870

] [871] [872] [873] [874] [875] [876] [877] [878] [879] [880]
[881] [882] [883] [884]
--- file maude-manual63.html ---
 [885

]
l. 546 Writing maude-manual.idv[74] (maude-manual73x.png)
 [886] [887] [888] [889] [890] [891] [892]
[893] [894]) (./model-checking.tex [895] [896

]
Chapter 10.
--- file maude-manualch10.html ---
[897

] [898] [899]
l. 215 Writing maude-manual.idv[75] (maude-manual74x.png)
l. 218 Writing maude-manual.idv[76] (maude-manual75x.png)
l. 221 Writing maude-manual.idv[77] (maude-manual76x.png)
l. 225 Writing maude-manual.idv[78] (maude-manual77x.png)
l. 227 Writing maude-manual.idv[79] (maude-manual78x.png)
l. 233 Writing maude-manual.idv[80] (maude-manual79x.png)
 [900]
l. 236 Writing maude-manual.idv[81] (maude-manual80x.png)
l. 240 Writing maude-manual.idv[82] (maude-manual81x.png)
l. 247 Writing maude-manual.idv[83] (maude-manual82x.png)
l. 249 Writing maude-manual.idv[84] (maude-manual83x.png)
l. 250 Writing maude-manual.idv[85] (maude-manual84x.png)
l. 256 Writing maude-manual.idv[86] (maude-manual85x.png)
 [901]
l. 261 Writing maude-manual.idv[87] (maude-manual86x.png)
 [902] [903] [904] [905] [906] [907]
l. 442 Writing maude-manual.idv[88] (maude-manual87x.png)
l. 445 Writing maude-manual.idv[89] (maude-manual88x.png)
l. 452 Writing maude-manual.idv[90] (maude-manual89x.png)
 [908]
l. 461 Writing maude-manual.idv[91] (maude-manual90x.png)
l. 467 Writing maude-manual.idv[92] (maude-manual91x.png)
l. 471 Writing maude-manual.idv[93] (maude-manual92x.png)

[909]
l. 502 Writing maude-manual.idv[94] (maude-manual93x.png)
--- file maude-manual65.html ---
l. 538 Writing maude-manual.idv[95] (maude-manual94x.png)
 [910] [911] [912] [913] [914] [915] [916] [917] [918

]
l. 767 Writing maude-manual.idv[96] (maude-manual95x.png)
File: figures/model-checking-modules.eps Graphic file (type eps)

<figures/model-checking-modules.eps> [919

] [920

] [921] [922] [923] [924]
l. 883 Writing maude-manual.idv[97] (maude-manual96x.png)

[925] [926]
l. 930 Writing maude-manual.idv[98] (maude-manual97x.png)
 [927] [928] [929] [930] [931

]
l. 1015 Writing maude-manual.idv[99] (maude-manual98x.png)
 [932

]
l. 1034 Writing maude-manual.idv[100] (maude-manual99x.png)
 [933

])
(./reflection-metalevel.tex [934] [935

] [936

]
Chapter 11.
--- file maude-manualch11.html ---
[937] [938] [939] [940

]
l. 142 Writing maude-manual.idv[101] (maude-manual100x.png)
File: figures/meta-level-modules.eps Graphic file (type eps)
 <figures/meta-level-modules.eps> [941

] [942

] [943]
[944] [945] [946] [947] [948] [949] [950] [951] [952] [953] [954] [955]
[956] [957] [958] [959] [960] [961] [962] [963] [964] [965] [966] [967]
[968] [969] [970] [971] [972] [973] [974] [975] [976] [977] [978] [979]
[980] [981] [982] [983] [984] [985] [986] [987] [988] [989] [990] [991]
[992] [993] [994] [995] [996] [997] [998] [999] [1000] [1001] [1002] [1003]
[1004] [1005] [1006] [1007] [1008] [1009] [1010] [1011] [1012] [1013] [1014]
[1015] [1016] [1017] [1018] [1019] [1020] [1021] [1022] [1023] [1024] [1025]
[1026] [1027] [1028] [1029] [1030] [1031] [1032] [1033] [1034] [1035] [1036]
[1037] [1038] [1039] [1040] [1041] [1042] [1043] [1044] [1045] [1046] [1047]
[1048] [1049] [1050] [1051] [1052] [1053] [1054] [1055] [1056] [1057] [1058]
[1059] [1060] [1061] [1062] [1063] [1064] [1065] [1066] [1067] [1068] [1069]
[1070] [1071] [1072] [1073] [1074] [1075] [1076] [1077] [1078] [1079] [1080]
[1081] [1082] [1083] [1084] [1085] [1086] [1087]) (./unification-chapter.tex
[1088] [1089

] [1090

]
Chapter 12.
--- file maude-manualch12.html ---
l. 19 Writing maude-manual.idv[102] (maude-manual101x.png)
l. 26 Writing maude-manual.idv[103] (maude-manual102x.png)
l. 26 Writing maude-manual.idv[104] (maude-manual103x.png)
l. 37 Writing maude-manual.idv[105] (maude-manual104x.png)
[1091]
l. 87 Writing maude-manual.idv[106] (maude-manual105x.png)
l. 89 Writing maude-manual.idv[107] (maude-manual106x.png)
--- file maude-manual68.html ---
l. 102 Writing maude-manual.idv[108] (maude-manual107x.png)
l. 110 Writing maude-manual.idv[109] (maude-manual108x.png)
l. 110 Writing maude-manual.idv[110] (maude-manual109x.png)
 [1092

] [1093] [1094]
l. 241 Writing maude-manual.idv[111] (maude-manual110x.png)
 [1095] [1096] [1097] [1098] [1099] [1100] [1101]
[1102] [1103] [1104] [1105] [1106] [1107] [1108] [1109] [1110] [1111] [1112]
[1113] [1114] [1115] [1116] [1117]
--- file maude-manual69.html ---
 [1118]
l. 779 Writing maude-manual.idv[112] (maude-manual111x.png)
l. 783 Writing maude-manual.idv[113] (maude-manual112x.png)
l. 787 Writing maude-manual.idv[114] (maude-manual113x.png)
l. 787 Writing maude-manual.idv[115] (maude-manual114x.png)
l. 787 Writing maude-manual.idv[116] (maude-manual115x.png)
l. 787 Writing maude-manual.idv[117] (maude-manual116x.png)
l. 789 Writing maude-manual.idv[118] (maude-manual117x.png)
l. 791 Writing maude-manual.idv[119] (maude-manual118x.png)
l. 797 Writing maude-manual.idv[120] (maude-manual119x.png)
l. 810 Writing maude-manual.idv[121] (maude-manual120x.png)
 [1119

]
l. 812 Writing maude-manual.idv[122] (maude-manual121x.png)
l. 817 Writing maude-manual.idv[123] (maude-manual122x.png)
--- file maude-manual70.html ---
 [1120]
l. 872 Writing maude-manual.idv[124] (maude-manual123x.png)
 [1121

]
l. 943 Writing maude-manual.idv[125] (maude-manual124x.png)
l. 951 Writing maude-manual.idv[126] (maude-manual125x.png)
l. 951 Writing maude-manual.idv[127] (maude-manual126x.png)
 [1122] [1123])
(./metalanguage-uses.tex [1124] [1125

] [1126

]
Chapter 13.
--- file maude-manualch13.html ---
[1127] [1128] [1129] [1130] [1131] [1132] [1133] [1134] [1135] [1136] [1137]
[1138] [1139] [1140] [1141] [1142] [1143] [1144] [1145] [1146] [1147] [1148]
[1149] [1150] [1151] [1152] [1153] [1154] [1155] [1156] [1157] [1158] [1159]
[1160] [1161] [1162] [1163] [1164] [1165] [1166] [1167] [1168] [1169] [1170]
[1171] [1172] [1173] [1174]) (./debugging-troubleshooting.tex [1175] [1176

]
Chapter 14.
--- file maude-manualch14.html ---
(./tracing-example.tex [1177

] [1178] [1179] [1180] [1181] [1182] [1183]
[1184] [1185] [1186] [1187] [1188] [1189]) [1190] [1191] [1192]
(./debugging-example.tex [1193] [1194]
LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <10> not available
(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 41.
 [1195] [1196] [1197]) [1198]
(./profiler.tex [1199] [1200] [1201] [1202] [1203] [1204] [1205] [1206]
[1207] [1208]
--- file maude-manual73.html ---
 [1209

] [1210] [1211] [1212] [1213] [1214] [1215] [1216] [1217]
[1218] [1219]
Missing character: There is no Ê in font cmr10!
 [1220] [1221] [1222]) [1223] [1224] [1225] [1226] [1227] [1228]
[1229] [1230] [1231] [1232] [1233] [1234] [1235] [1236] [1237] [1238] [1239]
[1240] [1241] [1242] [1243] [1244] [1245] [1246] [1247] [1248] [1249] [1250]
[1251] [1252] [1253] [1254] [1255] [1256] [1257] [1258] [1259] [1260] [1261]
[1262] [1263] [1264] [1265] [1266] [1267] [1268] [1269] [1270] [1271] [1272]
[1273]
--- file maude-manual74.html ---
 [1274

] [1275] [1276] [1277] [1278] [1279] [1280] [1281] [1282] [1283]
[1284] [1285] [1286] [1287] [1288] [1289] [1290]) [1291] [1292

] [1293

] [1294

]
[1295] [1296]
--- file maude-manualpa2.html ---
 (./full-maude-extensions.tex [1297] [1298

]
Chapter 15.
(./maude-manual.4ct)
--- file maude-manualch15.html ---
 [1299] [1300] [1301] [1302] [1303] [1304]
--- file maude-manual77.html ---
 [1305

] [1306]
[1307] [1308] [1309] [1310] [1311] [1312] [1313] [1314] [1315] [1316] [1317]
[1318]
--- file maude-manual78.html ---
 [1319

] [1320] [1321] [1322] [1323] [1324] [1325] [1326] [1327] [1328]
[1329] [1330] [1331]
--- file maude-manual79.html ---
 [1332

] [1333] [1334] [1335] [1336] [1337] [1338]
--- file maude-manual80.html ---
 [1339

]
[1340] [1341] [1342] [1343] [1344] [1345] [1346] [1347] [1348] [1349] [1350]
[1351] [1352] [1353]) (./narrowing.tex [1354] [1355

] [1356

]
Chapter 16.
--- file maude-manualch16.html ---
--- file maude-manual82.html ---
l. 71 Writing maude-manual.idv[128] (maude-manual127x.png)
l. 72 Writing maude-manual.idv[129] (maude-manual128x.png)
--- file maude-manual83.html ---
[1357


] [1358]
l. 131 Writing maude-manual.idv[130] (maude-manual129x.png)
l. 148 Writing maude-manual.idv[131] (maude-manual130x.png)
l. 154 Writing maude-manual.idv[132] (maude-manual131x.png)
l. 157 Writing maude-manual.idv[133] (maude-manual132x.png)
l. 164 Writing maude-manual.idv[134] (maude-manual133x.png)
l. 167 Writing maude-manual.idv[135] (maude-manual134x.png)
l. 170 Writing maude-manual.idv[136] (maude-manual135x.png)
l. 178 Writing maude-manual.idv[137] (maude-manual136x.png)
 [1359]
l. 216 Writing maude-manual.idv[138] (maude-manual137x.png)
l. 223 Writing maude-manual.idv[139] (maude-manual138x.png)
l. 223 Writing maude-manual.idv[140] (maude-manual139x.png)
l. 240 Writing maude-manual.idv[141] (maude-manual140x.png)
l. 242 Writing maude-manual.idv[142] (maude-manual141x.png)
l. 243 Writing maude-manual.idv[143] (maude-manual142x.png)
l. 245 Writing maude-manual.idv[144] (maude-manual143x.png)
l. 248 Writing maude-manual.idv[145] (maude-manual144x.png)
l. 252 Writing maude-manual.idv[146] (maude-manual145x.png)
--- file maude-manual84.html ---
 [1360]
--- file maude-manual85.html ---
--- file maude-manual86.html ---
 [1361

] [1362]
l. 389 Writing maude-manual.idv[147] (maude-manual146x.png)
 [1363] [1364] [1365] [1366] [1367]
[1368] [1369] [1370]
l. 580 Writing maude-manual.idv[148] (maude-manual147x.png)
--- file maude-manual87.html ---
 [1371

] [1372] [1373]
--- file maude-manual88.html ---
 [1374

]
l. 728 Writing maude-manual.idv[149] (maude-manual148x.png)
l. 731 Writing maude-manual.idv[150] (maude-manual149x.png)
l. 732 Writing maude-manual.idv[151] (maude-manual150x.png)
l. 736 Writing maude-manual.idv[152] (maude-manual151x.png)
l. 737 Writing maude-manual.idv[153] (maude-manual152x.png)
l. 740 Writing maude-manual.idv[154] (maude-manual153x.png)
l. 740 Writing maude-manual.idv[155] (maude-manual154x.png)
l. 740 Writing maude-manual.idv[156] (maude-manual155x.png)
l. 742 Writing maude-manual.idv[157] (maude-manual156x.png)
l. 744 Writing maude-manual.idv[158] (maude-manual157x.png)
l. 744 Writing maude-manual.idv[159] (maude-manual158x.png)
l. 750 Writing maude-manual.idv[160] (maude-manual159x.png)
l. 758 Writing maude-manual.idv[161] (maude-manual160x.png)
l. 759 Writing maude-manual.idv[162] (maude-manual161x.png)
l. 762 Writing maude-manual.idv[163] (maude-manual162x.png)
l. 762 Writing maude-manual.idv[164] (maude-manual163x.png)
l. 763 Writing maude-manual.idv[165] (maude-manual164x.png)
l. 769 Writing maude-manual.idv[166] (maude-manual165x.png)
 [1375]
l. 774 Writing maude-manual.idv[167] (maude-manual166x.png)
l. 778 Writing maude-manual.idv[168] (maude-manual167x.png)
l. 778 Writing maude-manual.idv[169] (maude-manual168x.png)
l. 778 Writing maude-manual.idv[170] (maude-manual169x.png)
l. 778 Writing maude-manual.idv[171] (maude-manual170x.png)
l. 779 Writing maude-manual.idv[172] (maude-manual171x.png)
l. 781 Writing maude-manual.idv[173] (maude-manual172x.png)
l. 782 Writing maude-manual.idv[174] (maude-manual173x.png)
l. 782 Writing maude-manual.idv[175] (maude-manual174x.png)
l. 782 Writing maude-manual.idv[176] (maude-manual175x.png)
l. 782 Writing maude-manual.idv[177] (maude-manual176x.png)
l. 801 Writing maude-manual.idv[178] (maude-manual177x.png)
l. 801 Writing maude-manual.idv[179] (maude-manual178x.png)
l. 803 Writing maude-manual.idv[180] (maude-manual179x.png)
l. 804 Writing maude-manual.idv[181] (maude-manual180x.png)
l. 804 Writing maude-manual.idv[182] (maude-manual181x.png)
l. 805 Writing maude-manual.idv[183] (maude-manual182x.png)
 [1376] [1377] [1378]
[1379] [1380]
l. 899 Writing maude-manual.idv[184] (maude-manual183x.png)
l. 901 Writing maude-manual.idv[185] (maude-manual184x.png)
l. 901 Writing maude-manual.idv[186] (maude-manual185x.png)
l. 903 Writing maude-manual.idv[187] (maude-manual186x.png)
l. 906 Writing maude-manual.idv[188] (maude-manual187x.png)
l. 906 Writing maude-manual.idv[189] (maude-manual188x.png)
l. 908 Writing maude-manual.idv[190] (maude-manual189x.png)
l. 908 Writing maude-manual.idv[191] (maude-manual190x.png)
l. 909 Writing maude-manual.idv[192] (maude-manual191x.png)
l. 909 Writing maude-manual.idv[193] (maude-manual192x.png)
l. 910 Writing maude-manual.idv[194] (maude-manual193x.png)
l. 911 Writing maude-manual.idv[195] (maude-manual194x.png)
l. 914 Writing maude-manual.idv[196] (maude-manual195x.png)
l. 914 Writing maude-manual.idv[197] (maude-manual196x.png)
l. 919 Writing maude-manual.idv[198] (maude-manual197x.png)
l. 920 Writing maude-manual.idv[199] (maude-manual198x.png)
l. 920 Writing maude-manual.idv[200] (maude-manual199x.png)
 [1381] [1382] [1383] [1384] [1385] [1386] [1387] [1388] [1389]
[1390] [1391] [1392] [1393] [1394]) (./object-oriented-modules.tex [1395]
[1396

]
Chapter 17.
--- file maude-manualch17.html ---
[1397

] [1398] [1399] [1400] [1401] [1402] [1403] [1404] [1405] [1406]
--- file maude-manual90.html ---
 [1407

]
[1408] [1409] [1410] [1411] [1412] [1413]
--- file maude-manual91.html ---
 [1414

] [1415] [1416] [1417] [1418]
[1419] [1420] [1421] [1422] [1423] [1424] [1425] [1426] [1427] [1428] [1429]
[1430] [1431]
--- file maude-manual92.html ---
 [1432

] [1433] [1434] [1435] [1436] [1437]
--- file maude-manual93.html ---
 [1438

] [1439] [1440]
[1441] [1442] [1443] [1444] [1445] [1446] [1447] [1448] [1449] [1450] [1451]
[1452] [1453] [1454] [1455] [1456] [1457] [1458]
l. 2263 Writing maude-manual.idv[201] (maude-manual200x.png)
 [1459] [1460] [1461] [1462]
[1463] [1464] [1465]
--- file maude-manual94.html ---
 [1466

] [1467]
l. 2469 Writing maude-manual.idv[202] (maude-manual201x.png)
l. 2506 Writing maude-manual.idv[203] (maude-manual202x.png)
l. 2508 Writing maude-manual.idv[204] (maude-manual203x.png)
l. 2510 Writing maude-manual.idv[205] (maude-manual204x.png)
 [1468]
l. 2516 Writing maude-manual.idv[206] (maude-manual205x.png)
l. 2519 Writing maude-manual.idv[207] (maude-manual206x.png)
l. 2520 Writing maude-manual.idv[208] (maude-manual207x.png)
l. 2521 Writing maude-manual.idv[209] (maude-manual208x.png)
l. 2524 Writing maude-manual.idv[210] (maude-manual209x.png)
l. 2535 Writing maude-manual.idv[211] (maude-manual210x.png)
l. 2536 Writing maude-manual.idv[212] (maude-manual211x.png)
l. 2537 Writing maude-manual.idv[213] (maude-manual212x.png)
l. 2537 Writing maude-manual.idv[214] (maude-manual213x.png)
l. 2537 Writing maude-manual.idv[215] (maude-manual214x.png)
l. 2538 Writing maude-manual.idv[216] (maude-manual215x.png)
 [1469] [1470] [1471] [1472] [1473])
[1474] [1475

] [1476

] [1477

] [1478]
--- file maude-manualpa3.html ---
 (./complete-list-commands.tex [1479]
[1480

]
Chapter 18.
(./maude-manual.4ct)
--- file maude-manualch18.html ---
 [1481] [1482] [1483] [1484] [1485] [1486] [1487] [1488]
[1489] [1490] [1491] [1492] [1493] [1494] [1495] [1496] [1497] [1498])
(./grammar-core-maude.tex [1499] [1500

]
Chapter 19.
--- file maude-manualch19.html ---
l. 7 Writing maude-manual.idv[217] (maude-manual216x.png)
l. 7 Writing maude-manual.idv[218] (maude-manual217x.png)
l. 13 Writing maude-manual.idv[219] (maude-manual218x.png)
l. 13 Writing maude-manual.idv[220] (maude-manual219x.png)
l. 23 Writing maude-manual.idv[221] (maude-manual220x.png)
l. 24 Writing maude-manual.idv[222] (maude-manual221x.png)
l. 39 Writing maude-manual.idv[223] (maude-manual222x.png)
l. 39 Writing maude-manual.idv[224] (maude-manual223x.png)
l. 42 Writing maude-manual.idv[225] (maude-manual224x.png)
l. 42 Writing maude-manual.idv[226] (maude-manual225x.png)
l. 48 Writing maude-manual.idv[227] (maude-manual226x.png)
l. 48 Writing maude-manual.idv[228] (maude-manual227x.png)
l. 49 Writing maude-manual.idv[229] (maude-manual228x.png)
l. 49 Writing maude-manual.idv[230] (maude-manual229x.png)
l. 50 Writing maude-manual.idv[231] (maude-manual230x.png)
l. 50 Writing maude-manual.idv[232] (maude-manual231x.png)
l. 50 Writing maude-manual.idv[233] (maude-manual232x.png)
l. 50 Writing maude-manual.idv[234] (maude-manual233x.png)
l. 51 Writing maude-manual.idv[235] (maude-manual234x.png)
l. 51 Writing maude-manual.idv[236] (maude-manual235x.png)
l. 51 Writing maude-manual.idv[237] (maude-manual236x.png)
l. 51 Writing maude-manual.idv[238] (maude-manual237x.png)
[1501

]
l. 59 Writing maude-manual.idv[239] (maude-manual238x.png)
l. 59 Writing maude-manual.idv[240] (maude-manual239x.png)
l. 70 Writing maude-manual.idv[241] (maude-manual240x.png)
l. 70 Writing maude-manual.idv[242] (maude-manual241x.png)
l. 97 Writing maude-manual.idv[243] (maude-manual242x.png)
l. 97 Writing maude-manual.idv[244] (maude-manual243x.png)
 [1502]
l. 105 Writing maude-manual.idv[245] (maude-manual244x.png)
l. 105 Writing maude-manual.idv[246] (maude-manual245x.png)
l. 107 Writing maude-manual.idv[247] (maude-manual246x.png)
l. 107 Writing maude-manual.idv[248] (maude-manual247x.png)
l. 123 Writing maude-manual.idv[249] (maude-manual248x.png)
l. 123 Writing maude-manual.idv[250] (maude-manual249x.png)
l. 125 Writing maude-manual.idv[251] (maude-manual250x.png)
l. 125 Writing maude-manual.idv[252] (maude-manual251x.png)
l. 138 Writing maude-manual.idv[253] (maude-manual252x.png)
l. 138 Writing maude-manual.idv[254] (maude-manual253x.png)
l. 140 Writing maude-manual.idv[255] (maude-manual254x.png)
l. 140 Writing maude-manual.idv[256] (maude-manual255x.png)
 [1503]
l. 155 Writing maude-manual.idv[257] (maude-manual256x.png)
l. 155 Writing maude-manual.idv[258] (maude-manual257x.png)
l. 158 Writing maude-manual.idv[259] (maude-manual258x.png)
l. 158 Writing maude-manual.idv[260] (maude-manual259x.png)
l. 166 Writing maude-manual.idv[261] (maude-manual260x.png)
l. 175 Writing maude-manual.idv[262] (maude-manual261x.png)
l. 175 Writing maude-manual.idv[263] (maude-manual262x.png)
l. 177 Writing maude-manual.idv[264] (maude-manual263x.png)
l. 180 Writing maude-manual.idv[265] (maude-manual264x.png)
l. 183 Writing maude-manual.idv[266] (maude-manual265x.png)
l. 188 Writing maude-manual.idv[267] (maude-manual266x.png)
l. 188 Writing maude-manual.idv[268] (maude-manual267x.png)
 [1504] [1505]) [1506] (./maude-manual.bbl [1507

] [1508

]
--- file maude-manualli3.html ---

[1509

] [1510] [1511] [1512] [1513] [1514] [1515] [1516] [1517] [1518] [1519]
[1520] [1521]) (./maude-manual.ind [1522] [1523

] [1524

]
--- file maude-manualli4.html ---
 [1525] [1526] [1527]
[1528] [1529] [1530] [1531] [1532] [1533] [1534] [1535] [1536])
(./maude-manual.modind [1537] [1538

]
--- file maude-manualli5.html ---
 [1539

] [1540] [1541] [1542] [1543])
(./maude-manual.thrind [1544] [1545

] [1546

]
--- file maude-manualli6.html ---
 [1547]) (./maude-manual.viewind
[1548] [1549

] [1550

]
--- file maude-manualli7.html ---
 [1551]) [1552] [1553

] (./maude-manual.aux)

LaTeX Font Warning: Some font shapes were not available, defaults substituted.

 ) 
Here is how much of TeX's memory you used:
 11958 strings out of 493877
 177946 string characters out of 1150591
 342633 words of memory out of 3000000
 14750 multiletter control sequences out of 10000+50000
 17847 words of font info for 74 fonts, out of 3000000 for 5000
 714 hyphenation exceptions out of 8191
 40i,13n,32p,1238b,1078s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on maude-manual.dvi (1574 pages, 4790188 bytes).