Changeset 14802


Ignore:
Timestamp:
May 15, 2011, 2:00:23 AM (8 years ago)
Author:
gb
Message:

updated

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/source/doc/ccl-documentation.html

    r14799 r14802  
    66    <title>Clozure CL Documentation</title>
    77    <meta name="generator" content="DocBook XSL Stylesheets V1.75.2" />
    8     <link rel="home" href="#id590940" title="Clozure CL Documentation" />
     8    <link rel="home" href="#id349549" title="Clozure CL Documentation" />
    99    <link rel="next" href="#about-ccl" title="Chapter 1. About Clozure CL" />
    1010  </head>
     
    1414        <div>
    1515          <div>
    16             <h1 class="title"><a id="id590940"></a>Clozure CL Documentation</h1>
     16            <h1 class="title"><a id="id349549"></a>Clozure CL Documentation</h1>
    1717          </div>
    1818        </div>
     
    295295              <dt>
    296296                <span class="sect1">
    297                   <a href="#EchoArea">6.12. The Echo Area</a>
     297                  <a href="#HemlockProgrammingEchoArea">6.12. The Echo Area</a>
    298298                </span>
    299299              </dt>
    300300              <dt>
    301301                <span class="sect1">
    302                   <a href="#Files">6.13. Files</a>
     302                  <a href="#HemlockProgrammingFiles">6.13. Files</a>
    303303                </span>
    304304              </dt>
     
    18451845          <p xmlns="http://www.w3.org/1999/xhtml">The following terms are used in subsequent sections; it
    18461846      may be helpful to refer to these definitions.</p>
    1847           <p xmlns="http://www.w3.org/1999/xhtml"><a id="id617613" class="indexterm"></a><a class="glossterm" href="#fasl-file"><em class="glossterm">fasl
     1847          <p xmlns="http://www.w3.org/1999/xhtml"><a id="id376222" class="indexterm"></a><a class="glossterm" href="#fasl-file"><em class="glossterm">fasl
    18481848        files</em></a> are the object files produced
    18491849      by <code class="literal">compile-file</code>.  fasl files store the
     
    18561856      see
    18571857      <a class="xref" href="#Platform-specific-filename-conventions" title="Table 3.1. Platform-specific filename conventions">Table 3.1, “Platform-specific filename conventions”</a> </p>
    1858           <p xmlns="http://www.w3.org/1999/xhtml">The <a id="id617682" class="indexterm"></a> <a class="glossterm" href="#lisp_kernel"><em class="glossterm">Lisp
     1858          <p xmlns="http://www.w3.org/1999/xhtml">The <a id="id376292" class="indexterm"></a> <a class="glossterm" href="#lisp_kernel"><em class="glossterm">Lisp
    18591859        kernel</em></a> is a C program with a fair amount of
    18601860      platform-specific assembly language code. Its basic job is to
     
    18661866      files on different platforms; see
    18671867      <a class="xref" href="#Platform-specific-filename-conventions" title="Table 3.1. Platform-specific filename conventions">Table 3.1, “Platform-specific filename conventions”</a>.</p>
    1868           <p xmlns="http://www.w3.org/1999/xhtml">A <a id="id632967" class="indexterm"></a> <a class="glossterm" href="#lisp_image"><em class="glossterm">heap
     1868          <p xmlns="http://www.w3.org/1999/xhtml">A <a id="id391576" class="indexterm"></a> <a class="glossterm" href="#lisp_image"><em class="glossterm">heap
    18691869        image</em></a> is a file that can be quickly mapped into a
    18701870      process's address space. Conceptually, it's not too different
     
    18771877      standard full heap image files on different platforms; see
    18781878      <a class="xref" href="#Platform-specific-filename-conventions" title="Table 3.1. Platform-specific filename conventions">Table 3.1, “Platform-specific filename conventions”</a>.</p>
    1879           <p xmlns="http://www.w3.org/1999/xhtml">A <a id="id615294" class="indexterm"></a> bootstrapping image is a minimal
     1879          <p xmlns="http://www.w3.org/1999/xhtml">A <a id="id373903" class="indexterm"></a> bootstrapping image is a minimal
    18801880      heap image used in the process of building Clozure CL itself.  The
    18811881      bootstrapping image contains just enough code to load the rest
     
    18891889      as-yet-unsupported ones) has a uniquely named subdirectory of
    18901890      <code class="literal">ccl/lisp-kernel/</code>; each such
    1891       <a id="id635477" class="indexterm"></a>
     1891      <a id="id394086" class="indexterm"></a>
    18921892      contains a Makefile and may contain some auxiliary files (linker
    18931893      scripts, etc.) that are used to build the lisp kernel on a
     
    27232723    </p>
    27242724          <p xmlns="http://www.w3.org/1999/xhtml">
    2725       <a id="id626964" class="indexterm"></a>
     2725      <a id="id385574" class="indexterm"></a>
    27262726      <span class="command"><strong><em class="varname"><a id="trace"></a>TRACE</em> {<em class="replaceable"><code>keyword</code></em>
    27272727        <em class="replaceable"><code>global-value</code></em>}* {<em class="replaceable"><code>spec</code></em> |
     
    31673167          </div>
    31683168          <p xmlns="http://www.w3.org/1999/xhtml">
    3169       <a id="id645738" class="indexterm"></a>
     3169      <a id="id404347" class="indexterm"></a>
    31703170      <span class="command"><strong><em class="varname"><a id="trace-level"></a>CCL:*TRACE-LEVEL*</em>    [Variable]</strong></span>
    31713171    </p>
    31723172          <p xmlns="http://www.w3.org/1999/xhtml">Variable bound to the current nesting level during execution of before and after trace actions.  The default printing actions use it to determine the amount of indentation.</p>
    31733173          <p xmlns="http://www.w3.org/1999/xhtml">
    3174       <a id="id645765" class="indexterm"></a>
     3174      <a id="id404374" class="indexterm"></a>
    31753175      <span class="command"><strong><em class="varname"><a id="trace-max-indent"></a>CCL:*TRACE-MAX-INDENT*</em>    [Variable]</strong></span>
    31763176    </p>
    31773177          <p xmlns="http://www.w3.org/1999/xhtml">The default before and after print actions will not indent by more than the value of <em class="varname">ccl:*trace-max-indent*</em> regardless of the current trace level.</p>
    31783178          <p xmlns="http://www.w3.org/1999/xhtml">
    3179       <a id="id645794" class="indexterm"></a>
     3179      <a id="id404403" class="indexterm"></a>
    31803180      <span class="command"><strong><em class="varname"><a id="trace-function"></a>CCL:TRACE-FUNCTION</em> <em class="replaceable"><code>spec</code></em> <em class="varname">&amp;key</em> {<em class="replaceable"><code>keyword</code></em> <em class="replaceable"><code>value</code></em>}*    [Function]</strong></span>
    31813181    </p>
     
    31853185    </p>
    31863186          <p xmlns="http://www.w3.org/1999/xhtml">
    3187       <a id="id645842" class="indexterm"></a>
     3187      <a id="id404451" class="indexterm"></a>
    31883188      <span class="command"><strong><em class="varname"><a id="trace-print-level"></a>CCL:*TRACE-PRINT-LEVEL*</em>   [Variable]</strong></span>
    31893189    </p>
     
    31933193      explicit printing done by user code.</p>
    31943194          <p xmlns="http://www.w3.org/1999/xhtml">
    3195       <a id="id645877" class="indexterm"></a>
     3195      <a id="id404486" class="indexterm"></a>
    31963196      <span class="command"><strong><em class="varname"><a id="trace-print-length"></a>CCL:*TRACE-PRINT-LENGTH*</em>    [Variable]</strong></span>
    31973197    </p>
     
    32013201      explicit printing done by user code.</p>
    32023202          <p xmlns="http://www.w3.org/1999/xhtml">
    3203       <a id="id645912" class="indexterm"></a>
     3203      <a id="id404521" class="indexterm"></a>
    32043204      <span class="command"><strong><em class="varname"><a id="trace-bar-frequency"></a>CCL:*TRACE-BAR-FREQUENCY*</em>    [Variable]</strong></span>
    32053205    </p>
     
    32503250            <div>
    32513251              <div class="refsect1" lang="en" xml:lang="en">
    3252                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646075"></a>
     3252                <a xmlns="http://www.w3.org/1999/xhtml" id="id404684"></a>
    32533253                <div class="header">Arguments and Values:</div>
    32543254                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">spec</span></i>---
     
    32853285              </div>
    32863286              <div class="refsect1" lang="en" xml:lang="en">
    3287                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646182"></a>
     3287                <a xmlns="http://www.w3.org/1999/xhtml" id="id404791"></a>
    32883288                <div class="header">Examples:</div>
    32893289                <p xmlns="http://www.w3.org/1999/xhtml">
     
    33303330            <div>
    33313331              <div class="refsect1" lang="en" xml:lang="en">
    3332                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646281"></a>
     3332                <a xmlns="http://www.w3.org/1999/xhtml" id="id404890"></a>
    33333333                <div class="header">Description:</div>
    33343334                <p xmlns="http://www.w3.org/1999/xhtml">
     
    33453345              </div>
    33463346              <div class="refsect1" lang="en" xml:lang="en">
    3347                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646348"></a>
     3347                <a xmlns="http://www.w3.org/1999/xhtml" id="id404957"></a>
    33483348                <div class="header">Arguments and Values:</div>
    33493349                <p xmlns="http://www.w3.org/1999/xhtml">
     
    33693369            <div>
    33703370              <div class="refsect1" lang="en" xml:lang="en">
    3371                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646426"></a>
     3371                <a xmlns="http://www.w3.org/1999/xhtml" id="id405035"></a>
    33723372                <div class="header">Description:</div>
    33733373                <p xmlns="http://www.w3.org/1999/xhtml">
     
    33813381              </div>
    33823382              <div class="refsect1" lang="en" xml:lang="en">
    3383                 <a xmlns="http://www.w3.org/1999/xhtml" id="id646474"></a>
     3383                <a xmlns="http://www.w3.org/1999/xhtml" id="id405083"></a>
    33843384                <div class="header">Arguments and Values:</div>
    33853385                <p xmlns="http://www.w3.org/1999/xhtml">
     
    35413541              <div>
    35423542                <div class="refsect1" lang="en" xml:lang="en">
    3543                   <a xmlns="http://www.w3.org/1999/xhtml" id="id647008"></a>
     3543                  <a xmlns="http://www.w3.org/1999/xhtml" id="id405617"></a>
    35443544                  <div class="header">Description:</div>
    35453545                  <p xmlns="http://www.w3.org/1999/xhtml">The value of this variable is used when :EXTERNAL-FORMAT is
     
    35673567              <div>
    35683568                <div class="refsect1" lang="en" xml:lang="en">
    3569                   <a xmlns="http://www.w3.org/1999/xhtml" id="id647070"></a>
     3569                  <a xmlns="http://www.w3.org/1999/xhtml" id="id405679"></a>
    35703570                  <div class="header">Description:</div>
    35713571                  <p xmlns="http://www.w3.org/1999/xhtml">The value of this variable is used when an external-format
     
    35993599              <div>
    36003600                <div class="refsect1" lang="en" xml:lang="en">
    3601                   <a xmlns="http://www.w3.org/1999/xhtml" id="id647152"></a>
     3601                  <a xmlns="http://www.w3.org/1999/xhtml" id="id405762"></a>
    36023602                  <div class="header">Arguments and Values:</div>
    36033603                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">domain</span></i>---This is used to indicate where the external
     
    36333633                </div>
    36343634                <div class="refsect1" lang="en" xml:lang="en">
    3635                   <a xmlns="http://www.w3.org/1999/xhtml" id="id662900"></a>
     3635                  <a xmlns="http://www.w3.org/1999/xhtml" id="id421509"></a>
    36363636                  <div class="header">Description:</div>
    36373637                  <p xmlns="http://www.w3.org/1999/xhtml">Despite the function's name, it doesn't necessarily create a
     
    38063806                <div>
    38073807                  <div>
    3808                     <h4 class="title"><a id="id663234"></a>4.5.4.1. Encoding Problems</h4>
     3808                    <h4 class="title"><a id="id421843"></a>4.5.4.1. Encoding Problems</h4>
    38093809                  </div>
    38103810                </div>
     
    38223822                <div>
    38233823                  <div>
    3824                     <h4 class="title"><a id="id663246"></a>4.5.4.2. Byte Order Marks</h4>
     3824                    <h4 class="title"><a id="id421855"></a>4.5.4.2. Byte Order Marks</h4>
    38253825                  </div>
    38263826                </div>
     
    38503850                <div>
    38513851                  <div>
    3852                     <h4 class="title"><a id="id663281"></a>4.5.4.3. <span class="function"><strong>DESCRIBE-CHARACTER-ENCODINGS</strong></span></h4>
     3852                    <h4 class="title"><a id="id421890"></a>4.5.4.3. <span class="function"><strong>DESCRIBE-CHARACTER-ENCODINGS</strong></span></h4>
    38533853                  </div>
    38543854                </div>
     
    38723872                <div>
    38733873                  <div class="refsect1" lang="en" xml:lang="en">
    3874                     <a xmlns="http://www.w3.org/1999/xhtml" id="id663342"></a>
     3874                    <a xmlns="http://www.w3.org/1999/xhtml" id="id421951"></a>
    38753875                    <div class="header">Description:</div>
    38763876                    <p xmlns="http://www.w3.org/1999/xhtml">Writes descriptions of all defined character encodings
     
    38813881                  </div>
    38823882                  <div class="refsect1" lang="en" xml:lang="en">
    3883                     <a xmlns="http://www.w3.org/1999/xhtml" id="id663357"></a>
     3883                    <a xmlns="http://www.w3.org/1999/xhtml" id="id421966"></a>
    38843884                    <div class="header">See Also:</div>
    38853885                    <span xmlns="http://www.w3.org/1999/xhtml" class="simplelist"><a class="xref" href="#Character-Encodings" title="4.5.4. Character Encodings">Section 4.5.4, “Character Encodings”</a>, <a class="xref" href="#External-Formats" title="4.5.2. External Formats">Section 4.5.2, “External Formats”</a>, <a class="xref" href="#Supported-Character-Encodings" title="4.5.4.4. Supported Character Encodings">Section 4.5.4.4, “Supported Character Encodings”</a></span>
     
    43124312                <div>
    43134313                  <div>
    4314                     <h4 class="title"><a id="id664036"></a>4.5.4.5. Encoding and Decoding Strings</h4>
     4314                    <h4 class="title"><a id="id422645"></a>4.5.4.5. Encoding and Decoding Strings</h4>
    43154315                  </div>
    43164316                </div>
     
    43374337                <div>
    43384338                  <div class="refsect1" lang="en" xml:lang="en">
    4339                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664112"></a>
     4339                    <a xmlns="http://www.w3.org/1999/xhtml" id="id422721"></a>
    43404340                    <div class="header">Description:</div>
    43414341                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    43684368                <div>
    43694369                  <div class="refsect1" lang="en" xml:lang="en">
    4370                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664207"></a>
     4370                    <a xmlns="http://www.w3.org/1999/xhtml" id="id422816"></a>
    43714371                    <div class="header">Description:</div>
    43724372                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    44174417                <div>
    44184418                  <div class="refsect1" lang="en" xml:lang="en">
    4419                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664341"></a>
     4419                    <a xmlns="http://www.w3.org/1999/xhtml" id="id422950"></a>
    44204420                    <div class="header">Description:</div>
    44214421                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    44704470                <div>
    44714471                  <div class="refsect1" lang="en" xml:lang="en">
    4472                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664471"></a>
     4472                    <a xmlns="http://www.w3.org/1999/xhtml" id="id423080"></a>
    44734473                    <div class="header">Description:</div>
    44744474                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    45204520            </div>
    45214521            <p xmlns="http://www.w3.org/1999/xhtml">Clozure CL sets up logical pathname translations for logical hosts:  <code class="literal">ccl</code> and <code class="literal">home</code></p>
    4522             <a xmlns="http://www.w3.org/1999/xhtml" id="id664560" class="indexterm"></a>
     4522            <a xmlns="http://www.w3.org/1999/xhtml" id="id423169" class="indexterm"></a>
    45234523            <p xmlns="http://www.w3.org/1999/xhtml">The <code class="literal">CCL</code> logical host should point to the
    45244524        <code class="literal">ccl</code> directory.  It is used for a variety of
     
    45794579                <div>
    45804580                  <div>
    4581                     <h4 class="title"><a id="id664662"></a>4.6.3.1. Working with native namestrings</h4>
     4581                    <h4 class="title"><a id="id423272"></a>4.6.3.1. Working with native namestrings</h4>
    45824582                  </div>
    45834583                </div>
     
    45984598                <div>
    45994599                  <div class="refsect1" lang="en" xml:lang="en">
    4600                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664709"></a>
     4600                    <a xmlns="http://www.w3.org/1999/xhtml" id="id423318"></a>
    46014601                    <div class="header">Description:</div>
    46024602                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    46294629                <div>
    46304630                  <div class="refsect1" lang="en" xml:lang="en">
    4631                     <a xmlns="http://www.w3.org/1999/xhtml" id="id664783"></a>
     4631                    <a xmlns="http://www.w3.org/1999/xhtml" id="id423392"></a>
    46324632                    <div class="header">Description:</div>
    46334633                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    47524752      platforms.</p>
    47534753          <p xmlns="http://www.w3.org/1999/xhtml">
    4754       <a id="id664957" class="indexterm"></a>
     4754      <a id="id423566" class="indexterm"></a>
    47554755      <span class="command"><strong><em class="varname"><a id="map-file-to-ivector"></a>CCL:MAP-FILE-TO-IVECTOR</em>
    47564756        <em class="parameter"><code>pathname</code></em>
     
    48124812      a memory error.</p>
    48134813          <p xmlns="http://www.w3.org/1999/xhtml">
    4814       <a id="id665090" class="indexterm"></a>
     4814      <a id="id423699" class="indexterm"></a>
    48154815      <span class="command"><strong><em class="varname"><a id="unmap-ivector"></a>CCL:UNMAP-IVECTOR</em>
    48164816        <em class="parameter"><code>displaced-array</code></em>
     
    48244824      target is an empty vector (of length zero).</p>
    48254825          <p xmlns="http://www.w3.org/1999/xhtml">
    4826       <a id="id665125" class="indexterm"></a>
     4826      <a id="id423734" class="indexterm"></a>
    48274827      <span class="command"><strong><em class="varname"><a id="map-file-to-octet-vector"></a>CCL:MAP-FILE-TO-OCTET-VECTOR</em>
    48284828        <em class="parameter"><code>pathname</code></em>
     
    48344834      bytes.</p>
    48354835          <p xmlns="http://www.w3.org/1999/xhtml">
    4836       <a id="id665157" class="indexterm"></a>
     4836      <a id="id423766" class="indexterm"></a>
    48374837      <span class="command"><strong><em class="varname"><a id="unmap-octet-vector"></a>CCL:UNMAP-OCTET-VECTOR</em>
    48384838        <em class="parameter"><code>displaced-array</code></em>
     
    48734873      static.</p>
    48744874          <p xmlns="http://www.w3.org/1999/xhtml">
    4875       <a id="id665232" class="indexterm"></a>
     4875      <a id="id423841" class="indexterm"></a>
    48764876      <span class="command"><strong><em class="varname"><a id="defstatic"></a>DEFSTATIC</em>
    48774877        <em class="parameter"><code>var</code></em>
     
    49274927            </div>
    49284928          </div>
    4929           <a xmlns="http://www.w3.org/1999/xhtml" id="id665344" class="indexterm"></a>
     4929          <a xmlns="http://www.w3.org/1999/xhtml" id="id423953" class="indexterm"></a>
    49304930          <p xmlns="http://www.w3.org/1999/xhtml">Clozure CL provides the
    49314931      function <code class="literal">CCL:SAVE-APPLICATION</code>, which creates a file
     
    50075007      converted, because address 0 can always be relied upon to refer to
    50085008      the same thing.</p>
    5009           <a xmlns="http://www.w3.org/1999/xhtml" id="id665565" class="indexterm"></a>
     5009          <a xmlns="http://www.w3.org/1999/xhtml" id="id424174" class="indexterm"></a>
    50105010          <p xmlns="http://www.w3.org/1999/xhtml">As of Clozure CL 1.2, the constant <code class="literal">CCL:+NULL-PTR+</code>
    50115011      refers to a <code class="literal">MACPTR</code> object that points to address 0.</p>
     
    50185018      or <code class="literal">ccl64</code> script.</p>
    50195019          <p xmlns="http://www.w3.org/1999/xhtml">
    5020       <a id="id665613" class="indexterm"></a>
     5020      <a id="id424222" class="indexterm"></a>
    50215021      <span class="command"><strong><em class="varname"><a id="save-application"></a>SAVE-APPLICATION</em>
    50225022        <em class="parameter"><code>filename</code></em>
     
    52195219            <div>
    52205220              <div class="refsect1" lang="en" xml:lang="en">
    5221                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666016"></a>
     5221                <a xmlns="http://www.w3.org/1999/xhtml" id="id424625"></a>
    52225222                <div class="header">Arguments and Values:</div>
    52235223                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">out-file</span></i>---
     
    52335233              </div>
    52345234              <div class="refsect1" lang="en" xml:lang="en">
    5235                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666075"></a>
     5235                <a xmlns="http://www.w3.org/1999/xhtml" id="id424684"></a>
    52365236                <div class="header">Description:</div>
    52375237                <p xmlns="http://www.w3.org/1999/xhtml">
     
    52935293            <div>
    52945294              <div class="refsect1" lang="en" xml:lang="en">
    5295                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666166"></a>
     5295                <a xmlns="http://www.w3.org/1999/xhtml" id="id424775"></a>
    52965296                <div class="header">Arguments and Values:</div>
    52975297                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">mode</span></i>---
     
    53015301              </div>
    53025302              <div class="refsect1" lang="en" xml:lang="en">
    5303                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666190"></a>
     5303                <a xmlns="http://www.w3.org/1999/xhtml" id="id424799"></a>
    53045304                <div class="header">Description:</div>
    53055305                <p xmlns="http://www.w3.org/1999/xhtml">
     
    53405340            <div>
    53415341              <div class="refsect1" lang="en" xml:lang="en">
    5342                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666285"></a>
     5342                <a xmlns="http://www.w3.org/1999/xhtml" id="id424894"></a>
    53435343                <div class="header">Arguments and Values:</div>
    53445344                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">rounding-mode</span></i>---
     
    53495349              </div>
    53505350              <div class="refsect1" lang="en" xml:lang="en">
    5351                 <a xmlns="http://www.w3.org/1999/xhtml" id="id666321"></a>
     5351                <a xmlns="http://www.w3.org/1999/xhtml" id="id424930"></a>
    53525352                <div class="header">Description:</div>
    53535353                <p xmlns="http://www.w3.org/1999/xhtml">
     
    53985398              <div>
    53995399                <div class="refsect1" lang="en" xml:lang="en">
    5400                   <a xmlns="http://www.w3.org/1999/xhtml" id="id666396"></a>
     5400                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425005"></a>
    54015401                  <div class="header">Arguments and Values:</div>
    54025402                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">object</span></i>---
     
    54055405                </div>
    54065406                <div class="refsect1" lang="en" xml:lang="en">
    5407                   <a xmlns="http://www.w3.org/1999/xhtml" id="id666418"></a>
     5407                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425028"></a>
    54085408                  <div class="header">Description:</div>
    54095409                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    55725572              <div>
    55735573                <div class="refsect1" lang="en" xml:lang="en">
    5574                   <a xmlns="http://www.w3.org/1999/xhtml" id="id666593"></a>
     5574                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425202"></a>
    55755575                  <div class="header">Description:</div>
    55765576                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    56065606              <div>
    56075607                <div class="refsect1" lang="en" xml:lang="en">
    5608                   <a xmlns="http://www.w3.org/1999/xhtml" id="id666641"></a>
     5608                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425250"></a>
    56095609                  <div class="header">Discussion:</div>
    56105610                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    56245624                </div>
    56255625                <div class="refsect1" lang="en" xml:lang="en">
    5626                   <a xmlns="http://www.w3.org/1999/xhtml" id="id666695"></a>
     5626                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425304"></a>
    56275627                  <div class="header">Restarts:</div>
    56285628                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    56925692                <div>
    56935693                  <div>
    5694                     <h4 class="title"><a id="id666752"></a>4.12.5.1. Fancy arrays</h4>
     5694                    <h4 class="title"><a id="id425361"></a>4.12.5.1. Fancy arrays</h4>
    56955695                  </div>
    56965696                </div>
     
    57195719                <div>
    57205720                  <div>
    5721                     <h4 class="title"><a id="id666771"></a>4.12.5.2. Hash tables</h4>
     5721                    <h4 class="title"><a id="id425380"></a>4.12.5.2. Hash tables</h4>
    57225722                  </div>
    57235723                </div>
     
    57675767                <div>
    57685768                  <div>
    5769                     <h4 class="title"><a id="id666802"></a>4.12.5.3. Lists</h4>
     5769                    <h4 class="title"><a id="id425411"></a>4.12.5.3. Lists</h4>
    57705770                  </div>
    57715771                </div>
     
    59605960              <div>
    59615961                <div class="refsect1" lang="en" xml:lang="en">
    5962                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667031"></a>
     5962                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425640"></a>
    59635963                  <div class="header">Arguments and Values:</div>
    59645964                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">output-file</span></i>---
     
    59845984                </div>
    59855985                <div class="refsect1" lang="en" xml:lang="en">
    5986                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667102"></a>
     5986                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425711"></a>
    59875987                  <div class="header">Example:</div>
    59885988                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    60186018              <div>
    60196019                <div class="refsect1" lang="en" xml:lang="en">
    6020                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667181"></a>
     6020                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425790"></a>
    60216021                  <div class="header">Description:</div>
    60226022                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    60406040              <div>
    60416041                <div class="refsect1" lang="en" xml:lang="en">
    6042                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667220"></a>
     6042                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425829"></a>
    60436043                  <div class="header">Description:</div>
    60446044                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    60666066              <div>
    60676067                <div class="refsect1" lang="en" xml:lang="en">
    6068                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667282"></a>
     6068                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425891"></a>
    60696069                  <div class="header">Description:</div>
    60706070                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    60926092              <div>
    60936093                <div class="refsect1" lang="en" xml:lang="en">
    6094                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667339"></a>
     6094                  <a xmlns="http://www.w3.org/1999/xhtml" id="id425948"></a>
    60956095                  <div class="header">Description:</div>
    60966096                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    61236123              <div>
    61246124                <div class="refsect1" lang="en" xml:lang="en">
    6125                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667403"></a>
     6125                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426012"></a>
    61266126                  <div class="header">Description:</div>
    61276127                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    61506150              <div>
    61516151                <div class="refsect1" lang="en" xml:lang="en">
    6152                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667470"></a>
     6152                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426079"></a>
    61536153                  <div class="header">Description:</div>
    61546154                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    61736173              <div>
    61746174                <div class="refsect1" lang="en" xml:lang="en">
    6175                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667521"></a>
     6175                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426130"></a>
    61766176                  <div class="header">Description:</div>
    61776177                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    61976197              <div>
    61986198                <div class="refsect1" lang="en" xml:lang="en">
    6199                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667571"></a>
     6199                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426180"></a>
    62006200                  <div class="header">Description:</div>
    62016201                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    62246224              <div>
    62256225                <div class="refsect1" lang="en" xml:lang="en">
    6226                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667634"></a>
     6226                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426243"></a>
    62276227                  <div class="header">Description:</div>
    62286228                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    62516251              <div>
    62526252                <div class="refsect1" lang="en" xml:lang="en">
    6253                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667701"></a>
     6253                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426310"></a>
    62546254                  <div class="header">Description:</div>
    62556255                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    64186418              <div>
    64196419                <div class="refsect1" lang="en" xml:lang="en">
    6420                   <a xmlns="http://www.w3.org/1999/xhtml" id="id667952"></a>
     6420                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426561"></a>
    64216421                  <div class="header">Description:</div>
    64226422                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    64446444              <div>
    64456445                <div class="refsect1" lang="en" xml:lang="en">
    6446                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668012"></a>
     6446                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426621"></a>
    64476447                  <div class="header">Description:</div>
    64486448                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    64576457      coverage uses an abbreviated format
    64586458      and is missing some of the information in a full snapshot, and therefore cannot be passed to
    6459       functions documented to accept a <span style="color: red">&lt;variable&gt;snapshot&lt;/variable&gt;</span>, only to functions
     6459      functions documented to accept a <em class="varname">snapshot</em>, only to functions
    64606460      specifically documented to accept incremental coverage deltas.
    64616461     </p>
     
    64786478              <div>
    64796479                <div class="refsect1" lang="en" xml:lang="en">
    6480                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668090"></a>
     6480                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426699"></a>
    64816481                  <div class="header">Arguments and Values:</div>
    64826482                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">collection</span></i>---
     
    64896489                </div>
    64906490                <div class="refsect1" lang="en" xml:lang="en">
    6491                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668127"></a>
     6491                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426736"></a>
    64926492                  <div class="header">Description:</div>
    64936493                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    65236523              <div>
    65246524                <div class="refsect1" lang="en" xml:lang="en">
    6525                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668207"></a>
     6525                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426816"></a>
    65266526                  <div class="header">Arguments and Values:</div>
    65276527                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">collection</span></i>---
     
    65406540                </div>
    65416541                <div class="refsect1" lang="en" xml:lang="en">
    6542                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668268"></a>
     6542                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426877"></a>
    65436543                  <div class="header">Description:</div>
    65446544                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    65746574              <div>
    65756575                <div class="refsect1" lang="en" xml:lang="en">
    6576                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668348"></a>
     6576                  <a xmlns="http://www.w3.org/1999/xhtml" id="id426958"></a>
    65776577                  <div class="header">Description:</div>
    65786578                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    65996599              <div>
    66006600                <div class="refsect1" lang="en" xml:lang="en">
    6601                   <a xmlns="http://www.w3.org/1999/xhtml" id="id668400"></a>
     6601                  <a xmlns="http://www.w3.org/1999/xhtml" id="id427009"></a>
    66026602                  <div class="header">Description:</div>
    66036603                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    66756675            <div>
    66766676              <div class="refsect1" lang="en" xml:lang="en">
    6677                 <a xmlns="http://www.w3.org/1999/xhtml" id="id668512"></a>
     6677                <a xmlns="http://www.w3.org/1999/xhtml" id="id427121"></a>
    66786678                <div class="header">Summary:</div>
    66796679                <p xmlns="http://www.w3.org/1999/xhtml">
     
    67106710            <div>
    67116711              <div class="refsect1" lang="en" xml:lang="en">
    6712                 <a xmlns="http://www.w3.org/1999/xhtml" id="id668574"></a>
     6712                <a xmlns="http://www.w3.org/1999/xhtml" id="id427183"></a>
    67136713                <div class="header">Summary:</div>
    67146714                <p xmlns="http://www.w3.org/1999/xhtml">
     
    67416741            <div>
    67426742              <div class="refsect1" lang="en" xml:lang="en">
    6743                 <a xmlns="http://www.w3.org/1999/xhtml" id="id668631"></a>
     6743                <a xmlns="http://www.w3.org/1999/xhtml" id="id427240"></a>
    67446744                <div class="header">Summary:</div>
    67456745                <p xmlns="http://www.w3.org/1999/xhtml">
     
    69716971                <div>
    69726972                  <div>
    6973                     <h4 class="title"><a id="id651919"></a>5.4.2.1. Checking for Updates</h4>
     6973                    <h4 class="title"><a id="id410528"></a>5.4.2.1. Checking for Updates</h4>
    69746974                  </div>
    69756975                </div>
     
    71037103      the required subsystems, if necessary.</p>
    71047104          <p xmlns="http://www.w3.org/1999/xhtml">
    7105       <a id="id600388" class="indexterm"></a>
     7105      <a id="id358997" class="indexterm"></a>
    71067106      <span class="command"><strong><em class="varname"><a id="build-application"></a>BUILD-APPLICATION</em> <em class="varname">&amp;key</em>
    71077107        (<em class="parameter"><code>name</code></em> <em class="replaceable"><code>"MyApplication"</code></em>)
     
    76567656            <dt>
    76577657              <span class="sect1">
    7658                 <a href="#EchoArea">6.12. The Echo Area</a>
     7658                <a href="#HemlockProgrammingEchoArea">6.12. The Echo Area</a>
    76597659              </span>
    76607660            </dt>
     
    76907690            <dt>
    76917691              <span class="sect1">
    7692                 <a href="#Files">6.13. Files</a>
     7692                <a href="#HemlockProgrammingFiles">6.13. Files</a>
    76937693              </span>
    76947694            </dt>
     
    78517851          <p xmlns="http://www.w3.org/1999/xhtml">
    78527852Hemlock follows in the tradition of Emacs-compatible editors, with a rich set of extensible commands.  This document describes the API for implementing new commands.  The basic editor consists of a set of Lisp utility functions for manipulating buffers and the other data structures of the editor.  All user level commands are written in terms of these
    7853 functions. To find out how to define commands see <a class="ulink" href="HemlockProgrammer/Commands" target="_top">Commands</a>.
     7853functions. To find out how to define commands see <a class="link" href="#HemlockProgrammingCommands" title="6.7. Commands">Commands</a>.
    78547854        </p>
    78557855        </div>
     
    79037903              <div>
    79047904                <div class="refsect1" lang="en" xml:lang="en">
    7905                   <a xmlns="http://www.w3.org/1999/xhtml" id="id626500"></a>
     7905                  <a xmlns="http://www.w3.org/1999/xhtml" id="id385108"></a>
    79067906                  <div class="header">Description:</div>
    79077907                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    79257925              <div>
    79267926                <div class="refsect1" lang="en" xml:lang="en">
    7927                   <a xmlns="http://www.w3.org/1999/xhtml" id="id626553"></a>
     7927                  <a xmlns="http://www.w3.org/1999/xhtml" id="id385160"></a>
    79287928                  <div class="header">Description:</div>
    79297929                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    79527952              <div>
    79537953                <div class="refsect1" lang="en" xml:lang="en">
    7954                   <a xmlns="http://www.w3.org/1999/xhtml" id="id662541"></a>
     7954                  <a xmlns="http://www.w3.org/1999/xhtml" id="id421148"></a>
    79557955                  <div class="header">Description:</div>
    79567956                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    79727972              <div>
    79737973                <div class="refsect1" lang="en" xml:lang="en">
    7974                   <a xmlns="http://www.w3.org/1999/xhtml" id="id662593"></a>
     7974                  <a xmlns="http://www.w3.org/1999/xhtml" id="id421201"></a>
    79757975                  <div class="header">Description:</div>
    79767976                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    79967996              <div>
    79977997                <div class="refsect1" lang="en" xml:lang="en">
    7998                   <a xmlns="http://www.w3.org/1999/xhtml" id="id604470"></a>
     7998                  <a xmlns="http://www.w3.org/1999/xhtml" id="id363077"></a>
    79997999                  <div class="header">Description:</div>
    80008000                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    80208020              <div>
    80218021                <div class="refsect1" lang="en" xml:lang="en">
    8022                   <a xmlns="http://www.w3.org/1999/xhtml" id="id604523"></a>
     8022                  <a xmlns="http://www.w3.org/1999/xhtml" id="id363131"></a>
    80238023                  <div class="header">Description:</div>
    80248024                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    80438043              <div>
    80448044                <div class="refsect1" lang="en" xml:lang="en">
    8045                   <a xmlns="http://www.w3.org/1999/xhtml" id="id604577"></a>
     8045                  <a xmlns="http://www.w3.org/1999/xhtml" id="id363184"></a>
    80468046                  <div class="header">Description:</div>
    80478047                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    80688068              <div>
    80698069                <div class="refsect1" lang="en" xml:lang="en">
    8070                   <a xmlns="http://www.w3.org/1999/xhtml" id="id660364"></a>
     8070                  <a xmlns="http://www.w3.org/1999/xhtml" id="id418972"></a>
    80718071                  <div class="header">Description:</div>
    80728072                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    80938093              <div>
    80948094                <div class="refsect1" lang="en" xml:lang="en">
    8095                   <a xmlns="http://www.w3.org/1999/xhtml" id="id660419"></a>
     8095                  <a xmlns="http://www.w3.org/1999/xhtml" id="id419027"></a>
    80968096                  <div class="header">Description:</div>
    80978097                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    81308130This section discusses the very basic operations involving marks, but
    81318131a lot of Hemlock programming is built on altering some text at a mark.
    8132 For more extended uses of marks see <a class="ulink" href="HemlockProgrammer/AlteringAndSearchingText" target="_top">Altering And Searching Text</a>.
     8132For more extended uses of marks see <a class="link" href="#HemlockProgrammingAlteringAndSearchingText" title="6.4. Altering and Searching Text">Altering And Searching Text</a>.
    81338133            </p>
    81348134            <div class="sect3" lang="en" xml:lang="en">
     
    81798179                <div>
    81808180                  <div class="refsect1" lang="en" xml:lang="en">
    8181                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660541"></a>
     8181                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419149"></a>
    81828182                    <div class="header">Description:</div>
    81838183                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    82018201                <div>
    82028202                  <div class="refsect1" lang="en" xml:lang="en">
    8203                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660595"></a>
     8203                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419203"></a>
    82048204                    <div class="header">Description:</div>
    82058205                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    82238223                <div>
    82248224                  <div class="refsect1" lang="en" xml:lang="en">
    8225                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660648"></a>
     8225                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419256"></a>
    82268226                    <div class="header">Description:</div>
    82278227                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    82468246                <div>
    82478247                  <div class="refsect1" lang="en" xml:lang="en">
    8248                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660706"></a>
     8248                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419315"></a>
    82498249                    <div class="header">Description:</div>
    82508250                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    82688268                <div>
    82698269                  <div class="refsect1" lang="en" xml:lang="en">
    8270                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660760"></a>
     8270                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419369"></a>
    82718271                    <div class="header">Description:</div>
    82728272                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    82928292                <div>
    82938293                  <div class="refsect1" lang="en" xml:lang="en">
    8294                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660819"></a>
     8294                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419428"></a>
    82958295                    <div class="header">Description:</div>
    82968296                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    83168316                <div>
    83178317                  <div class="refsect1" lang="en" xml:lang="en">
    8318                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660884"></a>
     8318                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419494"></a>
    83198319                    <div class="header">Description:</div>
    83208320                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    83368336                <div>
    83378337                  <div class="refsect1" lang="en" xml:lang="en">
    8338                     <a xmlns="http://www.w3.org/1999/xhtml" id="id660938"></a>
     8338                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419547"></a>
    83398339                    <div class="header">Description:</div>
    83408340                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    83718371                <div>
    83728372                  <div class="refsect1" lang="en" xml:lang="en">
    8373                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661008"></a>
     8373                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419617"></a>
    83748374                    <div class="header">Description:</div>
    83758375                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    83968396                <div>
    83978397                  <div class="refsect1" lang="en" xml:lang="en">
    8398                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661077"></a>
     8398                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419686"></a>
    83998399                    <div class="header">Description:</div>
    84008400                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    84198419                <div>
    84208420                  <div class="refsect1" lang="en" xml:lang="en">
    8421                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661132"></a>
     8421                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419741"></a>
    84228422                    <div class="header">Description:</div>
    84238423                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    84428442                <div>
    84438443                  <div class="refsect1" lang="en" xml:lang="en">
    8444                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661187"></a>
     8444                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419796"></a>
    84458445                    <div class="header">Description:</div>
    84468446                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    84828482                <div>
    84838483                  <div class="refsect1" lang="en" xml:lang="en">
    8484                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661266"></a>
     8484                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419875"></a>
    84858485                    <div class="header">Description:</div>
    84868486                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    85058505                <div>
    85068506                  <div class="refsect1" lang="en" xml:lang="en">
    8507                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661322"></a>
     8507                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419931"></a>
    85088508                    <div class="header">Description:</div>
    85098509                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    85288528                <div>
    85298529                  <div class="refsect1" lang="en" xml:lang="en">
    8530                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661376"></a>
     8530                    <a xmlns="http://www.w3.org/1999/xhtml" id="id419985"></a>
    85318531                    <div class="header">Description:</div>
    85328532                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    85518551                <div>
    85528552                  <div class="refsect1" lang="en" xml:lang="en">
    8553                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661434"></a>
     8553                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420043"></a>
    85548554                    <div class="header">Description:</div>
    85558555                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    85718571                <div>
    85728572                  <div class="refsect1" lang="en" xml:lang="en">
    8573                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661492"></a>
     8573                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420101"></a>
    85748574                    <div class="header">Description:</div>
    85758575                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    85948594                <div>
    85958595                  <div class="refsect1" lang="en" xml:lang="en">
    8596                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661550"></a>
     8596                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420159"></a>
    85978597                    <div class="header">Description:</div>
    85988598                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    86148614                <div>
    86158615                  <div class="refsect1" lang="en" xml:lang="en">
    8616                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661607"></a>
     8616                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420216"></a>
    86178617                    <div class="header">Description:</div>
    86188618                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    86398639                <div>
    86408640                  <div class="refsect1" lang="en" xml:lang="en">
    8641                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661663"></a>
     8641                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420272"></a>
    86428642                    <div class="header">Description:</div>
    86438643                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    86598659                <div>
    86608660                  <div class="refsect1" lang="en" xml:lang="en">
    8661                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661718"></a>
     8661                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420327"></a>
    86628662                    <div class="header">Description:</div>
    86638663                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    86838683                <div>
    86848684                  <div class="refsect1" lang="en" xml:lang="en">
    8685                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661773"></a>
     8685                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420382"></a>
    86868686                    <div class="header">Description:</div>
    86878687                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    87088708                <div>
    87098709                  <div class="refsect1" lang="en" xml:lang="en">
    8710                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661832"></a>
     8710                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420441"></a>
    87118711                    <div class="header">Description:</div>
    87128712                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    87638763                <div>
    87648764                  <div class="refsect1" lang="en" xml:lang="en">
    8765                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661921"></a>
     8765                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420530"></a>
    87668766                    <div class="header">Description:</div>
    87678767                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    87878787                <div>
    87888788                  <div class="refsect1" lang="en" xml:lang="en">
    8789                     <a xmlns="http://www.w3.org/1999/xhtml" id="id661977"></a>
     8789                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420586"></a>
    87908790                    <div class="header">Description:</div>
    87918791                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    88098809                <div>
    88108810                  <div class="refsect1" lang="en" xml:lang="en">
    8811                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662032"></a>
     8811                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420641"></a>
    88128812                    <div class="header">Description:</div>
    88138813                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    88338833                <div>
    88348834                  <div class="refsect1" lang="en" xml:lang="en">
    8835                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662094"></a>
     8835                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420703"></a>
    88368836                    <div class="header">Description:</div>
    88378837                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    88578857                <div>
    88588858                  <div class="refsect1" lang="en" xml:lang="en">
    8859                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662150"></a>
     8859                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420759"></a>
    88608860                    <div class="header">Description:</div>
    88618861                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    88778877                <div>
    88788878                  <div class="refsect1" lang="en" xml:lang="en">
    8879                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662205"></a>
     8879                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420814"></a>
    88808880                    <div class="header">Description:</div>
    88818881                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    89008900                <div>
    89018901                  <div class="refsect1" lang="en" xml:lang="en">
    8902                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662260"></a>
     8902                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420869"></a>
    89038903                    <div class="header">Description:</div>
    89048904                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    89248924                <div>
    89258925                  <div class="refsect1" lang="en" xml:lang="en">
    8926                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662322"></a>
     8926                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420931"></a>
    89278927                    <div class="header">Description:</div>
    89288928                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    89448944                <div>
    89458945                  <div class="refsect1" lang="en" xml:lang="en">
    8946                     <a xmlns="http://www.w3.org/1999/xhtml" id="id662376"></a>
     8946                    <a xmlns="http://www.w3.org/1999/xhtml" id="id420986"></a>
    89478947                    <div class="header">Description:</div>
    89488948                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    89668966                <div>
    89678967                  <div class="refsect1" lang="en" xml:lang="en">
    8968                     <a xmlns="http://www.w3.org/1999/xhtml" id="id684753"></a>
     8968                    <a xmlns="http://www.w3.org/1999/xhtml" id="id443847"></a>
    89698969                    <div class="header">Description:</div>
    89708970                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    89898989                <div>
    89908990                  <div class="refsect1" lang="en" xml:lang="en">
    8991                     <a xmlns="http://www.w3.org/1999/xhtml" id="id684800"></a>
     8991                    <a xmlns="http://www.w3.org/1999/xhtml" id="id443894"></a>
    89928992                    <div class="header">Description:</div>
    89938993                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    90129012                <div>
    90139013                  <div class="refsect1" lang="en" xml:lang="en">
    9014                     <a xmlns="http://www.w3.org/1999/xhtml" id="id684848"></a>
     9014                    <a xmlns="http://www.w3.org/1999/xhtml" id="id443942"></a>
    90159015                    <div class="header">Description:</div>
    90169016                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    90389038                <div>
    90399039                  <div class="refsect1" lang="en" xml:lang="en">
    9040                     <a xmlns="http://www.w3.org/1999/xhtml" id="id684897"></a>
     9040                    <a xmlns="http://www.w3.org/1999/xhtml" id="id443991"></a>
    90419041                    <div class="header">Description:</div>
    90429042                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    90909090              <li class="listitem">
    90919091                <p>
    9092 Some <a class="ulink" href="HemlockProgrammer/HemlockVariables" target="_top">variables</a>.
     9092Some <a class="link" href="#HemlockProgrammingHemlockVariables" title="6.6. Hemlock Variables">variables</a>.
    90939093                    </p>
    90949094              </li>
    90959095              <li class="listitem">
    90969096                <p>
    9097 Some <a class="ulink" href="HemlockProgrammer/Commands" target="_top">key bindings</a>.
     9097Some <a class="link" href="#HemlockProgrammingCommands" title="6.7. Commands">key bindings</a>.
    90989098                    </p>
    90999099              </li>
    91009100              <li class="listitem">
    91019101                <p>
    9102 A collection of <a class="ulink" href="HemlockProgrammer/Modes" target="_top">modes</a>.
    9103 10. A list of modeline fields (optional).
     9102A collection of <a class="link" href="#HemlockProgrammingModes" title="6.8. Modes">modes</a>.
     9103                    </p>
     9104              </li>
     9105              <li class="listitem">
     9106                <p>
     9107A list of modeline fields (optional).
    91049108                    </p>
    91059109              </li>
     
    91479151              <div>
    91489152                <div class="refsect1" lang="en" xml:lang="en">
    9149                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685061"></a>
     9153                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444162"></a>
    91509154                  <div class="header">Description:</div>
    91519155                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    91709174              <div>
    91719175                <div class="refsect1" lang="en" xml:lang="en">
    9172                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685108"></a>
     9176                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444209"></a>
    91739177                  <div class="header">Description:</div>
    91749178                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    91949198              <div>
    91959199                <div class="refsect1" lang="en" xml:lang="en">
    9196                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685156"></a>
     9200                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444256"></a>
    91979201                  <div class="header">Description:</div>
    91989202                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    92179221              <div>
    92189222                <div class="refsect1" lang="en" xml:lang="en">
    9219                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685203"></a>
     9223                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444304"></a>
    92209224                  <div class="header">Description:</div>
    92219225                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    92419245              <div>
    92429246                <div class="refsect1" lang="en" xml:lang="en">
    9243                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685251"></a>
     9247                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444353"></a>
    92449248                  <div class="header">Description:</div>
    92459249                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    92659269              <div>
    92669270                <div class="refsect1" lang="en" xml:lang="en">
    9267                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685306"></a>
     9271                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444408"></a>
    92689272                  <div class="header">Description:</div>
    92699273                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    92909294              <div>
    92919295                <div class="refsect1" lang="en" xml:lang="en">
    9292                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685362"></a>
     9296                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444465"></a>
    92939297                  <div class="header">Description:</div>
    92949298                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    93159319              <div>
    93169320                <div class="refsect1" lang="en" xml:lang="en">
    9317                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685418"></a>
     9321                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444521"></a>
    93189322                  <div class="header">Description:</div>
    93199323                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    93399343              <div>
    93409344                <div class="refsect1" lang="en" xml:lang="en">
    9341                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685474"></a>
     9345                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444577"></a>
    93429346                  <div class="header">Description:</div>
    93439347                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    93459349mark.  If the stack becomes empty, this pushes a new mark on the stack
    93469350pointing to the buffer's start.  This always deactivates the current
    9347 region (see <a class="ulink" href="HemlockProgrammer/AlteringAndSearchingText#ActiveRegions" target="_top">Active Regions</a>).
     9351region (see <a class="link" href="#ActiveRegions" title="6.4.4. Active Regions">Active Regions</a>).
    93489352                    </p>
    93499353                </div>
     
    93649368              <div>
    93659369                <div class="refsect1" lang="en" xml:lang="en">
    9366                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685540"></a>
     9370                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444642"></a>
    93679371                  <div class="header">Description:</div>
    93689372                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    93719375the current buffer, this signals an error.  Optionally, the current
    93729376region is made active, but this never deactivates the current region
    9373 (see <a class="ulink" href="HemlockProgrammer/AlteringAndSearchingText#ActiveRegions" target="_top">Active Regions</a>).
     9377(see <a class="link" href="#ActiveRegions" title="6.4.4. Active Regions">Active Regions</a>).
    93749378Mark is returned.
    93759379                    </p>
     
    93919395              <div>
    93929396                <div class="refsect1" lang="en" xml:lang="en">
    9393                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685606"></a>
     9397                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444708"></a>
    93949398                  <div class="header">Description:</div>
    93959399                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    94149418              <div>
    94159419                <div class="refsect1" lang="en" xml:lang="en">
    9416                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685672"></a>
     9420                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444774"></a>
    94179421                  <div class="header">Description:</div>
    94189422                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    94369440              <div>
    94379441                <div class="refsect1" lang="en" xml:lang="en">
    9438                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685727"></a>
     9442                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444829"></a>
    94399443                  <div class="header">Description:</div>
    94409444                  <p xmlns="http://www.w3.org/1999/xhtml">
    9441 This variable holds a <a class="ulink" href="HemlockProgrammer/Utilities#StringTables" target="_top">string-table</a>
     9445This variable holds a <a class="link" href="#StringTableFunctions" title="6.16.1. String-table Functions">string-table</a>
    94429446mapping the name of a buffer to the corresponding buffer object.
    94439447                    </p>
     
    94689472              <div>
    94699473                <div class="refsect1" lang="en" xml:lang="en">
    9470                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685804"></a>
     9474                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444905"></a>
    94719475                  <div class="header">Description:</div>
    94729476                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    94889492              <div>
    94899493                <div class="refsect1" lang="en" xml:lang="en">
    9490                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685858"></a>
     9494                  <a xmlns="http://www.w3.org/1999/xhtml" id="id444960"></a>
    94919495                  <div class="header">Description:</div>
    94929496                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    95089512              <div>
    95099513                <div class="refsect1" lang="en" xml:lang="en">
    9510                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685912"></a>
     9514                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445014"></a>
    95119515                  <div class="header">Description:</div>
    95129516                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    95159519modes which should be in effect in the buffer, major mode first,
    95169520followed by any minor modes.  If this is omitted then the buffer is
    9517 created with the list of modes contained in Default Modes (page
    9518 35). Modeline-fields is a list of modeline-field objects (see section
    9519 3.3) which may be nil. delete-hook is a list of delete hooks specific
     9521created with the list of modes contained in <a class="link" href="#hv_default_modes" title="Hemlock Variable Default Modes">
     9522Default Modes</a>. Modeline-fields is a list of modeline-field objects (see
     9523the  <a class="link" href="#Modelines" title="6.3.3. Modelines">Modelines</a> section)
     9524which may be nil. delete-hook is a list of delete hooks specific
    95209525to this buffer, and delete-buffer invokes these along with Delete
    95219526Buffer Hook.
     
    95449549              <div>
    95459550                <div class="refsect1" lang="en" xml:lang="en">
    9546                   <a xmlns="http://www.w3.org/1999/xhtml" id="id685976"></a>
     9551                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445090"></a>
    95479552                  <div class="header">Description:</div>
    95489553                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    95669571              <div>
    95679572                <div class="refsect1" lang="en" xml:lang="en">
    9568                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686031"></a>
     9573                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445144"></a>
    95699574                  <div class="header">Description:</div>
    95709575                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    95869591              <div>
    95879592                <div class="refsect1" lang="en" xml:lang="en">
    9588                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686084"></a>
     9593                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445198"></a>
    95899594                  <div class="header">Description:</div>
    95909595                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    96129617              <div>
    96139618                <div class="refsect1" lang="en" xml:lang="en">
    9614                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686141"></a>
     9619                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445254"></a>
    96159620                  <div class="header">Description:</div>
    96169621                  <p xmlns="http://www.w3.org/1999/xhtml">
    96179622Returns the buffer's region.  Note this is the region that contains all
    9618 the text in a buffer, not the current-region (page 19).
     9623the text in a buffer, as opposed to the <a class="link" href="#f_current-region" title="Function current-region">current-region</a>.
    96199624                    </p>
    96209625                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    96389643              <div>
    96399644                <div class="refsect1" lang="en" xml:lang="en">
    9640                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686200"></a>
     9645                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445319"></a>
    96419646                  <div class="header">Description:</div>
    96429647                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    96589663              <div>
    96599664                <div class="refsect1" lang="en" xml:lang="en">
    9660                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686254"></a>
     9665                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445373"></a>
    96619666                  <div class="header">Description:</div>
    96629667                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    96859690              <div>
    96869691                <div class="refsect1" lang="en" xml:lang="en">
    9687                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686311"></a>
     9692                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445430"></a>
    96889693                  <div class="header">Description:</div>
    96899694                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    97109715              <div>
    97119716                <div class="refsect1" lang="en" xml:lang="en">
    9712                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686368"></a>
     9717                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445487"></a>
    97139718                  <div class="header">Description:</div>
    97149719                  <p xmlns="http://www.w3.org/1999/xhtml">
    97159720Returns the mark which is the current location within buffer. To move
    9716 the point, use move-mark or move-to-position (page 5).
     9721the point, use <a class="link" href="#f_move-mark" title="Function move-mark">move-mark</a> or <a class="link" href="#f_move-to-position" title="Function move-to-position">move-to-position</a>
    97179722                    </p>
    97189723                </div>
     
    97339738              <div>
    97349739                <div class="refsect1" lang="en" xml:lang="en">
    9735                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686423"></a>
     9740                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445553"></a>
    97369741                  <div class="header">Description:</div>
    97379742                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    97579762              <div>
    97589763                <div class="refsect1" lang="en" xml:lang="en">
    9759                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686479"></a>
     9764                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445609"></a>
    97609765                  <div class="header">Description:</div>
    97619766                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    97779782              <div>
    97789783                <div class="refsect1" lang="en" xml:lang="en">
    9779                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686532"></a>
     9784                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445663"></a>
    97809785                  <div class="header">Description:</div>
    97819786                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    98139818              <div>
    98149819                <div class="refsect1" lang="en" xml:lang="en">
    9815                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686600"></a>
     9820                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445731"></a>
    98169821                  <div class="header">Description:</div>
    98179822                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    98339838              <div>
    98349839                <div class="refsect1" lang="en" xml:lang="en">
    9835                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686654"></a>
     9840                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445784"></a>
    98369841                  <div class="header">Description:</div>
    98379842                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    98599864              <div>
    98609865                <div class="refsect1" lang="en" xml:lang="en">
    9861                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686711"></a>
     9866                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445842"></a>
    98629867                  <div class="header">Description:</div>
    98639868                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    98799884              <div>
    98809885                <div class="refsect1" lang="en" xml:lang="en">
    9881                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686765"></a>
     9886                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445895"></a>
    98829887                  <div class="header">Description:</div>
    98839888                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    99059910              <div>
    99069911                <div class="refsect1" lang="en" xml:lang="en">
    9907                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686825"></a>
     9912                  <a xmlns="http://www.w3.org/1999/xhtml" id="id445956"></a>
    99089913                  <div class="header">Description:</div>
    99099914                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    99289933              <div>
    99299934                <div class="refsect1" lang="en" xml:lang="en">
    9930                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686880"></a>
     9935                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446011"></a>
    99319936                  <div class="header">Description:</div>
    99329937                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    99529957              <div>
    99539958                <div class="refsect1" lang="en" xml:lang="en">
    9954                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686936"></a>
     9959                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446066"></a>
    99559960                  <div class="header">Description:</div>
    99569961                  <p xmlns="http://www.w3.org/1999/xhtml">
    9957 This function returns a string-table (page 69) containing the names of
    9958 the buffer's local variables.  See chapter 6.
     9962This function returns a <a class="link" href="#StringTableFunctions" title="6.16.1. String-table Functions">string-table</a> containing the names of
     9963the buffer's local <a class="link" href="#HemlockProgrammingHemlockVariables" title="6.6. Hemlock Variables">variables</a>.
    99599964                    </p>
    99609965                </div>
     
    99759980              <div>
    99769981                <div class="refsect1" lang="en" xml:lang="en">
    9977                   <a xmlns="http://www.w3.org/1999/xhtml" id="id686991"></a>
     9982                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446133"></a>
    99789983                  <div class="header">Description:</div>
    99799984                  <p xmlns="http://www.w3.org/1999/xhtml">
    99809985This function returns the list of the names of the modes active in
    99819986buffer. The major mode is first, followed by any minor modes.  See
    9982 chapter 8.
     9987the <a class="link" href="#HemlockProgrammingModes" title="6.8. Modes">Modes</a> chapter.
    99839988                    </p>
    99849989                </div>
     
    999910004              <div>
    1000010005                <div class="refsect1" lang="en" xml:lang="en">
    10001                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687047"></a>
     10006                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446195"></a>
    1000210007                  <div class="header">Description:</div>
    1000310008                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1002210027              <div>
    1002310028                <div class="refsect1" lang="en" xml:lang="en">
    10024                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687102"></a>
     10029                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446250"></a>
    1002510030                  <div class="header">Description:</div>
    1002610031                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1004210047              <div>
    1004310048                <div class="refsect1" lang="en" xml:lang="en">
    10044                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687156"></a>
     10049                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446304"></a>
    1004510050                  <div class="header">Description:</div>
    1004610051                  <p xmlns="http://www.w3.org/1999/xhtml">
    10047 delete-buffer removes buffer from (all-buffers) (page 10) and its name
    10048 from *buffer-names* (page 10).  Before buffer is deleted, this invokes
     10052delete-buffer removes buffer from <a class="link" href="#f_all-buffers" title="Function all-buffers">(all-buffers)</a> and its name
     10053from <a class="link" href="#v_buffer-names" title="Variable *buffer-names*">*buffer-names*</a>.  Before buffer is deleted, this invokes
    1004910054the functions on buffer returned by buffer-delete-hook and those found
    1005010055in Delete Buffer Hook. If buffer is the current-buffer, or if it is
     
    1013610141              <div>
    1013710142                <div class="refsect1" lang="en" xml:lang="en">
    10138                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687297"></a>
     10143                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446456"></a>
    1013910144                  <div class="header">Description:</div>
    1014010145                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1016310168              <div>
    1016410169                <div class="refsect1" lang="en" xml:lang="en">
    10165                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687354"></a>
     10170                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446513"></a>
    1016610171                  <div class="header">Description:</div>
    1016710172                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1018710192              <div>
    1018810193                <div class="refsect1" lang="en" xml:lang="en">
    10189                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687410"></a>
     10194                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446569"></a>
    1019010195                  <div class="header">Description:</div>
    1019110196                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1021010215              <div>
    1021110216                <div class="refsect1" lang="en" xml:lang="en">
    10212                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687465"></a>
     10217                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446624"></a>
    1021310218                  <div class="header">Description:</div>
    1021410219                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1023310238              <div>
    1023410239                <div class="refsect1" lang="en" xml:lang="en">
    10235                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687520"></a>
     10240                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446679"></a>
    1023610241                  <div class="header">Description:</div>
    1023710242                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1025910264              <div>
    1026010265                <div class="refsect1" lang="en" xml:lang="en">
    10261                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687577"></a>
     10266                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446736"></a>
    1026210267                  <div class="header">Description:</div>
    1026310268                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1028510290              <div>
    1028610291                <div class="refsect1" lang="en" xml:lang="en">
    10287                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687634"></a>
     10292                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446793"></a>
    1028810293                  <div class="header">Description:</div>
    1028910294                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1031410319              <div>
    1031510320                <div class="refsect1" lang="en" xml:lang="en">
    10316                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687693"></a>
     10321                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446853"></a>
    1031710322                  <div class="header">Description:</div>
    1031810323                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1033710342              <div>
    1033810343                <div class="refsect1" lang="en" xml:lang="en">
    10339                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687749"></a>
     10344                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446909"></a>
    1034010345                  <div class="header">Description:</div>
    1034110346                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1038710392              <div>
    1038810393                <div class="refsect1" lang="en" xml:lang="en">
    10389                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687837"></a>
     10394                  <a xmlns="http://www.w3.org/1999/xhtml" id="id446996"></a>
    1039010395                  <div class="header">Description:</div>
    1039110396                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1040710412              <div>
    1040810413                <div class="refsect1" lang="en" xml:lang="en">
    10409                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687891"></a>
     10414                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447050"></a>
    1041010415                  <div class="header">Description:</div>
    1041110416                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1042710432              <div>
    1042810433                <div class="refsect1" lang="en" xml:lang="en">
    10429                   <a xmlns="http://www.w3.org/1999/xhtml" id="id687945"></a>
     10434                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447104"></a>
    1043010435                  <div class="header">Description:</div>
    1043110436                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1045210457              <div>
    1045310458                <div class="refsect1" lang="en" xml:lang="en">
    10454                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688009"></a>
     10459                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447168"></a>
    1045510460                  <div class="header">Description:</div>
    1045610461                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1047910484              <div>
    1048010485                <div class="refsect1" lang="en" xml:lang="en">
    10481                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688070"></a>
     10486                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447229"></a>
    1048210487                  <div class="header">Description:</div>
    1048310488                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1050510510              <div>
    1050610511                <div class="refsect1" lang="en" xml:lang="en">
    10507                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688126"></a>
     10512                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447286"></a>
    1050810513                  <div class="header">Description:</div>
    1050910514                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1053010535              <div>
    1053110536                <div class="refsect1" lang="en" xml:lang="en">
    10532                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688183"></a>
     10537                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447342"></a>
    1053310538                  <div class="header">Description:</div>
    1053410539                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1055510560              <div>
    1055610561                <div class="refsect1" lang="en" xml:lang="en">
    10557                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688240"></a>
     10562                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447399"></a>
    1055810563                  <div class="header">Description:</div>
    1055910564                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1061410619              <div>
    1061510620                <div class="refsect1" lang="en" xml:lang="en">
    10616                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688352"></a>
     10621                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447511"></a>
    1061710622                  <div class="header">Description:</div>
    1061810623                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1063710642              <div>
    1063810643                <div class="refsect1" lang="en" xml:lang="en">
    10639                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688407"></a>
     10644                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447566"></a>
    1064010645                  <div class="header">Description:</div>
    1064110646                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1066410669              <div>
    1066510670                <div class="refsect1" lang="en" xml:lang="en">
    10666                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688470"></a>
     10671                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447629"></a>
    1066710672                  <div class="header">Description:</div>
    1066810673                  <p xmlns="http://www.w3.org/1999/xhtml">
    1066910674Returns t if line contains only characters with a Whitespace attribute
    10670 of 1.  See chapter 9 for discussion of character attributes.
     10675of 1.  See the <a class="link" href="#HemlockProgrammingCharacterAttributes" title="6.9. Character Attributes">Character Attributes</a>
     10676chapter for discussion of character attributes.
    1067110677                    </p>
    1067210678                </div>
     
    1068710693              <div>
    1068810694                <div class="refsect1" lang="en" xml:lang="en">
    10689                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688525"></a>
     10695                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447690"></a>
    1069010696                  <div class="header">Description:</div>
    1069110697                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1070710713              <div>
    1070810714                <div class="refsect1" lang="en" xml:lang="en">
    10709                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688579"></a>
     10715                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447744"></a>
    1071010716                  <div class="header">Description:</div>
    1071110717                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1073010736              <div>
    1073110737                <div class="refsect1" lang="en" xml:lang="en">
    10732                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688634"></a>
     10738                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447799"></a>
    1073310739                  <div class="header">Description:</div>
    1073410740                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1075910765              <div>
    1076010766                <div class="refsect1" lang="en" xml:lang="en">
    10761                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688695"></a>
     10767                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447860"></a>
    1076210768                  <div class="header">Description:</div>
    1076310769                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1077910785              <div>
    1078010786                <div class="refsect1" lang="en" xml:lang="en">
    10781                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688749"></a>
     10787                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447914"></a>
    1078210788                  <div class="header">Description:</div>
    1078310789                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1079910805              <div>
    1080010806                <div class="refsect1" lang="en" xml:lang="en">
    10801                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688803"></a>
     10807                  <a xmlns="http://www.w3.org/1999/xhtml" id="id447968"></a>
    1080210808                  <div class="header">Description:</div>
    1080310809                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1081910825              <div>
    1082010826                <div class="refsect1" lang="en" xml:lang="en">
    10821                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688858"></a>
     10827                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448023"></a>
    1082210828                  <div class="header">Description:</div>
    1082310829                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1083910845              <div>
    1084010846                <div class="refsect1" lang="en" xml:lang="en">
    10841                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688911"></a>
     10847                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448076"></a>
    1084210848                  <div class="header">Description:</div>
    1084310849                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1085910865              <div>
    1086010866                <div class="refsect1" lang="en" xml:lang="en">
    10861                   <a xmlns="http://www.w3.org/1999/xhtml" id="id688966"></a>
     10867                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448131"></a>
    1086210868                  <div class="header">Description:</div>
    1086310869                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1088410890              <div>
    1088510891                <div class="refsect1" lang="en" xml:lang="en">
    10886                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689022"></a>
     10892                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448187"></a>
    1088710893                  <div class="header">Description:</div>
    1088810894                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1090410910              <div>
    1090510911                <div class="refsect1" lang="en" xml:lang="en">
    10906                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689077"></a>
     10912                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448242"></a>
    1090710913                  <div class="header">Description:</div>
    1090810914                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1092410930              <div>
    1092510931                <div class="refsect1" lang="en" xml:lang="en">
    10926                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689131"></a>
     10932                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448296"></a>
    1092710933                  <div class="header">Description:</div>
    1092810934                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1094410950              <div>
    1094510951                <div class="refsect1" lang="en" xml:lang="en">
    10946                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689185"></a>
     10952                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448350"></a>
    1094710953                  <div class="header">Description:</div>
    1094810954                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1096710973              <div>
    1096810974                <div class="refsect1" lang="en" xml:lang="en">
    10969                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689241"></a>
     10975                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448406"></a>
    1097010976                  <div class="header">Description:</div>
    1097110977                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1099010996              <div>
    1099110997                <div class="refsect1" lang="en" xml:lang="en">
    10992                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689296"></a>
     10998                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448461"></a>
    1099310999                  <div class="header">Description:</div>
    1099411000                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1101011016              <div>
    1101111017                <div class="refsect1" lang="en" xml:lang="en">
    11012                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689350"></a>
     11018                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448515"></a>
    1101311019                  <div class="header">Description:</div>
    1101411020                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1103011036            </div>
    1103111037            <p xmlns="http://www.w3.org/1999/xhtml">
    11032 There is a global ring (see section 16.2) of regions deleted from buffers.
     11038There is a global <a class="link" href="#RingFunctions" title="6.16.2. Ring Functions">ring</a> of regions deleted from buffers.
    1103311039Some commands save affected regions on the kill ring before performing
    11034 modifications.  You should consider making the command undoable (see
    11035 section 16.3), but this is a simple way of achieving a less
     11040modifications.  You should consider making the command <a class="link" href="#UndoingCommands" title="6.16.3. Undoing commands">undoable</a>,
     11041but this is a simple way of achieving a less
    1103611042satisfactory means for the user to recover.
    1103711043            </p>
     
    1105011056              <div>
    1105111057                <div class="refsect1" lang="en" xml:lang="en">
    11052                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689430"></a>
     11058                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448607"></a>
    1105311059                  <div class="header">Description:</div>
    1105411060                  <p xmlns="http://www.w3.org/1999/xhtml">
    1105511061This kills region saving it in the kill ring. Current-type is either
    11056 :kill-forward or :kill-backward. When the last-command-type (page 31)
     11062:kill-forward or :kill-backward. When the <a class="link" href="#f_last-command-type" title="Function last-command-type">last-command-type</a>
    1105711063is one of these, this adds region to the beginning or end,
    1105811064respectively, of the top of the kill ring. The result of calling this is
     
    1107811084              <div>
    1107911085                <div class="refsect1" lang="en" xml:lang="en">
    11080                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689488"></a>
     11086                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448670"></a>
    1108111087                  <div class="header">Description:</div>
    1108211088                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1109811104              <div>
    1109911105                <div class="refsect1" lang="en" xml:lang="en">
    11100                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689543"></a>
     11106                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448724"></a>
    1110111107                  <div class="header">Description:</div>
    1110211108                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1110511111greater than or equal to Character Deletion Threshold, the killed
    1110611112characters are saved on the kill ring. This may be called multiple times
    11107 contiguously (that is, without last-command-type (page 31) being set)
     11113contiguously (that is, without  <a class="link" href="#f_last-command-type" title="Function last-command-type">last-command-type</a> being set)
    1110811114to accumulate an effective count for purposes of comparison with the
    1110911115threshold.
     
    1113811144            </div>
    1113911145            <p xmlns="http://www.w3.org/1999/xhtml">
    11140 Every buffer has a mark stack (page 9) and a mark known as the point
     11146Every buffer has a mark stack and a mark known as the point
    1114111147where most text altering nominally occurs.  Between the top of the
    1114211148mark stack, the current-mark, and the current-buffer's point, the
     
    1120611212              <div>
    1120711213                <div class="refsect1" lang="en" xml:lang="en">
    11208                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689690"></a>
     11214                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448877"></a>
    1120911215                  <div class="header">Description:</div>
    1121011216                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1123011236              <div>
    1123111237                <div class="refsect1" lang="en" xml:lang="en">
    11232                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689746"></a>
     11238                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448934"></a>
    1123311239                  <div class="header">Description:</div>
    1123411240                  <p xmlns="http://www.w3.org/1999/xhtml">
    11235 This is a list of command types (see section 7.3), and its initial
     11241This is a list of <a class="link" href="#CommandTypes" title="6.7.3. Command Types">command types</a>, and its initial
    1123611242value is the list of :ephemerally-active and :unkill. When the
    1123711243previous command's type is one of these, the current-region is active
     
    1126011266              <div>
    1126111267                <div class="refsect1" lang="en" xml:lang="en">
    11262                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689806"></a>
     11268                  <a xmlns="http://www.w3.org/1999/xhtml" id="id448999"></a>
    1126311269                  <div class="header">Description:</div>
    1126411270                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1128211288              <div>
    1128311289                <div class="refsect1" lang="en" xml:lang="en">
    11284                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689860"></a>
     11290                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449053"></a>
    1128511291                  <div class="header">Description:</div>
    1128611292                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1130411310              <div>
    1130511311                <div class="refsect1" lang="en" xml:lang="en">
    11306                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689915"></a>
     11312                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449108"></a>
    1130711313                  <div class="header">Description:</div>
    1130811314                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1132711333              <div>
    1132811334                <div class="refsect1" lang="en" xml:lang="en">
    11329                   <a xmlns="http://www.w3.org/1999/xhtml" id="id689970"></a>
     11335                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449163"></a>
    1133011336                  <div class="header">Description:</div>
    1133111337                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1135011356              <div>
    1135111357                <div class="refsect1" lang="en" xml:lang="en">
    11352                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690029"></a>
     11358                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449222"></a>
    1135311359                  <div class="header">Description:</div>
    1135411360                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1137611382            <p xmlns="http://www.w3.org/1999/xhtml">
    1137711383Before using any of these functions to do a character search, look at
    11378 character attributes (page 37).  They provide a facility similar to
     11384<a class="link" href="#HemlockProgrammingCharacterAttributes" title="6.9. Character Attributes">character attributes</a>.  They provide a facility similar to
    1137911385the syntax table in real Emacs.  Syntax tables are a powerful,
    1138011386general, and efficient mechanism for assigning meanings to characters
     
    1139511401              <div>
    1139611402                <div class="refsect1" lang="en" xml:lang="en">
    11397                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690108"></a>
     11403                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449307"></a>
    1139811404                  <div class="header">Description:</div>
    1139911405                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1145311459              <div>
    1145411460                <div class="refsect1" lang="en" xml:lang="en">
    11455                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690308"></a>
     11461                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449507"></a>
    1145611462                  <div class="header">Description:</div>
    1145711463                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1147511481              <div>
    1147611482                <div class="refsect1" lang="en" xml:lang="en">
    11477                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690363"></a>
     11483                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449562"></a>
    1147811484                  <div class="header">Description:</div>
    1147911485                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1150211508              <div>
    1150311509                <div class="refsect1" lang="en" xml:lang="en">
    11504                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690420"></a>
     11510                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449618"></a>
    1150511511                  <div class="header">Description:</div>
    1150611512                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1152411530              <div>
    1152511531                <div class="refsect1" lang="en" xml:lang="en">
    11526                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690475"></a>
     11532                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449673"></a>
    1152711533                  <div class="header">Description:</div>
    1152811534                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1154911555              <div>
    1155011556                <div class="refsect1" lang="en" xml:lang="en">
    11551                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690535"></a>
     11557                  <a xmlns="http://www.w3.org/1999/xhtml" id="id449734"></a>
    1155211558                  <div class="header">Description:</div>
    1155311559                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1157811584            </div>
    1157911585            <p xmlns="http://www.w3.org/1999/xhtml">
    11580 In Hemlock the "current" values of <a class="ulink" href="HemlockProgrammer/HemlockVariables" target="_top">variables</a>,
    11581 <a class="ulink" href="HemlockProgrammer/Commands" target="_top">key bindings</a> and
    11582 <a class="ulink" href="HemlockProgrammer/CharacterAttributes" target="_top">character-attributes</a>
    11583 depend on the <a class="ulink" href="HemlockProgrammer/Buffers#CurrentBuffer" target="_top">current buffer</a>
     11586In Hemlock the "current" values of <a class="link" href="#HemlockProgrammingHemlockVariables" title="6.6. Hemlock Variables">variables</a>,
     11587<a class="link" href="#HemlockProgrammingCommands" title="6.7. Commands">key bindings</a> and
     11588<a class="link" href="#HemlockProgrammingCharacterAttributes" title="6.9. Character Attributes">character-attributes</a>
     11589depend on the <a class="link" href="#CurrentBuffer" title="6.3.1. The Current Buffer">current buffer</a>
    1158411590and the modes active in it.  There are three possible scopes for
    1158511591Hemlock values:
     
    1167611682              <li class="listitem">
    1167711683                <p>
    11678 Hemlock has different scoping rules which are useful in an editor.  Hemlock variables can be local to a buffer (page 9) or a mode (page 35).
     11684Hemlock has different scoping rules which are useful in an editor.  Hemlock variables can be local to a <a class="link" href="#HemlockProgrammingBuffers" title="6.3. Buffers">buffer</a> or a <a class="link" href="#HemlockProgrammingModes" title="6.8. Modes">mode</a>.
    1167911685                </p>
    1168011686              </li>
    1168111687              <li class="listitem">
    1168211688                <p>
    11683 Hemlock variables have hooks (page 25), lists of functions called when someone sets the variable. See variable-value for the arguments Hemlock passes to these hook functions.
     11689Hemlock variables have <a class="link" href="#ModeHooks" title="6.8.1. Mode Hooks">hooks</a>, lists of functions called when someone sets the variable. See variable-value for the arguments Hemlock passes to these hook functions.
    1168411690                </p>
    1168511691              </li>
     
    1172311729              <div>
    1172411730                <div class="refsect1" lang="en" xml:lang="en">
    11725                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690829"></a>
     11731                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450045"></a>
    1172611732                  <div class="header">Description:</div>
    1172711733                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1174711753              <div>
    1174811754                <div class="refsect1" lang="en" xml:lang="en">
    11749                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690884"></a>
     11755                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450100"></a>
    1175011756                  <div class="header">Description:</div>
    1175111757                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1178411790              <div>
    1178511791                <div class="refsect1" lang="en" xml:lang="en">
    11786                   <a xmlns="http://www.w3.org/1999/xhtml" id="id690959"></a>
     11792                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450175"></a>
    1178711793                  <div class="header">Description:</div>
    1178811794                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1182711833              <div>
    1182811834                <div class="refsect1" lang="en" xml:lang="en">
    11829                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691110"></a>
     11835                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450327"></a>
    1183011836                  <div class="header">Description:</div>
    1183111837                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1186611872              <div>
    1186711873                <div class="refsect1" lang="en" xml:lang="en">
    11868                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691244"></a>
     11874                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450460"></a>
    1186911875                  <div class="header">Description:</div>
    1187011876                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1188611892              <div>
    1188711893                <div class="refsect1" lang="en" xml:lang="en">
    11888                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691302"></a>
     11894                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450518"></a>
    1188911895                  <div class="header">Description:</div>
    1189011896                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1190611912              <div>
    1190711913                <div class="refsect1" lang="en" xml:lang="en">
    11908                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691360"></a>
     11914                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450576"></a>
    1190911915                  <div class="header">Description:</div>
    1191011916                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1193011936              <div>
    1193111937                <div class="refsect1" lang="en" xml:lang="en">
    11932                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691416"></a>
     11938                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450632"></a>
    1193311939                  <div class="header">Description:</div>
    1193411940                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1195311959              <div>
    1195411960                <div class="refsect1" lang="en" xml:lang="en">
    11955                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691471"></a>
     11961                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450687"></a>
    1195611962                  <div class="header">Description:</div>
    1195711963                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1197311979              <div>
    1197411980                <div class="refsect1" lang="en" xml:lang="en">
    11975                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691525"></a>
     11981                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450741"></a>
    1197611982                  <div class="header">Description:</div>
    1197711983                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1199612002              <div>
    1199712003                <div class="refsect1" lang="en" xml:lang="en">
    11998                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691584"></a>
     12004                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450800"></a>
    1199912005                  <div class="header">Description:</div>
    1200012006                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1202212028              <div>
    1202312029                <div class="refsect1" lang="en" xml:lang="en">
    12024                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691644"></a>
     12030                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450860"></a>
    1202512031                  <div class="header">Description:</div>
    1202612032                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1204512051              <div>
    1204612052                <div class="refsect1" lang="en" xml:lang="en">
    12047                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691703"></a>
     12053                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450919"></a>
    1204812054                  <div class="header">Description:</div>
    1204912055                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1206512071              <div>
    1206612072                <div class="refsect1" lang="en" xml:lang="en">
    12067                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691757"></a>
     12073                  <a xmlns="http://www.w3.org/1999/xhtml" id="id450973"></a>
    1206812074                  <div class="header">Description:</div>
    1206912075                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1212212128              <div>
    1212312129                <div class="refsect1" lang="en" xml:lang="en">
    12124                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691844"></a>
     12130                  <a xmlns="http://www.w3.org/1999/xhtml" id="id451061"></a>
    1212512131                  <div class="header">Description:</div>
    1212612132                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1214212148              <div>
    1214312149                <div class="refsect1" lang="en" xml:lang="en">
    12144                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691898"></a>
     12150                  <a xmlns="http://www.w3.org/1999/xhtml" id="id451115"></a>
    1214512151                  <div class="header">Description:</div>
    1214612152                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1217412180              <div>
    1217512181                <div class="refsect1" lang="en" xml:lang="en">
    12176                   <a xmlns="http://www.w3.org/1999/xhtml" id="id691964"></a>
     12182                  <a xmlns="http://www.w3.org/1999/xhtml" id="id451181"></a>
    1217712183                  <div class="header">Description:</div>
    1217812184                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1223512241              </dl>
    1223612242            </div>
    12237             <p>
    12238               <div class="refentrytitle">
    12239                 <a id="v_command-names"></a>
    12240                 <strong>[Variable]</strong>
    12241                 <br></br>
    12242                 <code>
     12243            <div class="sect3" lang="en" xml:lang="en">
     12244              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12245                <div>
     12246                  <div>
     12247                    <h4 class="title"><a id="DefiningCommands"></a>6.7.1.1. Defining Commands</h4>
     12248                  </div>
     12249                </div>
     12250              </div>
     12251              <p>
     12252                <div class="refentrytitle">
     12253                  <a id="v_command-names"></a>
     12254                  <strong>[Variable]</strong>
     12255                  <br></br>
     12256                  <code>
    1224312257                        *command-names*
    1224412258                    </code>
    12245               </div>
    12246               <div class="refentrytitle"></div>
    12247             </p>
    12248             <p>
    12249               <div>
    12250                 <div class="refsect1" lang="en" xml:lang="en">
    12251                   <a xmlns="http://www.w3.org/1999/xhtml" id="id692098"></a>
    12252                   <div class="header">Description:</div>
    12253                   <p xmlns="http://www.w3.org/1999/xhtml">
    12254 Holds a string-table (page 69) associating command names to command
     12259                </div>
     12260                <div class="refentrytitle"></div>
     12261              </p>
     12262              <p>
     12263                <div>
     12264                  <div class="refsect1" lang="en" xml:lang="en">
     12265                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451324"></a>
     12266                    <div class="header">Description:</div>
     12267                    <p xmlns="http://www.w3.org/1999/xhtml">
     12268Holds a <a class="link" href="#StringTableFunctions" title="6.16.1. String-table Functions">string-table</a> associating command names to command
    1225512269objects.  Whenever a new command is defined it is entered in this
    1225612270table.
    1225712271                    </p>
    12258                 </div>
    12259               </div>
    12260             </p>
     12272                  </div>
     12273                </div>
     12274              </p>
     12275              <p>
     12276                <div class="refentrytitle">
     12277                  <a id="m_defcommand"></a>
     12278                  <strong>[Macro]</strong>
     12279                  <br></br>
     12280                  <code>
     12281                                defcommand {command-name | (command-name function-name <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;key</em>)} lambda-list command-doc {function-doc} {form}*
     12282                            </code>
     12283                </div>
     12284                <div class="refentrytitle"></div>
     12285              </p>
     12286              <p>
     12287                <div>
     12288                  <div class="refsect1" lang="en" xml:lang="en">
     12289                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451391"></a>
     12290                    <div class="header">Description:</div>
     12291                    <p xmlns="http://www.w3.org/1999/xhtml">
     12292Defines a command named name. defcommand creates a function to
     12293implement the command from the lambda-list and forms supplied.  The
     12294lambda-list must specify one required argument, see <a class="link" href="#CommandArguments" title="6.7.4. Command Arguments">below</a>,
     12295which by convention is typically named <code class="code">p</code>. If the caller does not specify
     12296function-name, defcommand creates the command name by replacing all
     12297spaces with hyphens and appending "-command".  Any keyword arguments
     12298are as for <code class="code">make-command</code>.  Command-doc becomes the command
     12299documentation for the command.  Function-doc, if present, becomes the
     12300documentation for the function and should primarily describe
     12301issues involved in calling the command as a function, such as what any
     12302additional arguments are.
     12303                            </p>
     12304                  </div>
     12305                </div>
     12306              </p>
     12307              <p>
     12308                <div class="refentrytitle">
     12309                  <a id="f_make-command"></a>
     12310                  <strong>[Function]</strong>
     12311                  <br></br>
     12312                  <code>
     12313                                make-command name documentation function <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;key</em> :transparent-p
     12314                            </code>
     12315                </div>
     12316                <div class="refentrytitle"></div>
     12317              </p>
     12318              <p>
     12319                <div>
     12320                  <div class="refsect1" lang="en" xml:lang="en">
     12321                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451470"></a>
     12322                    <div class="header">Description:</div>
     12323                    <p xmlns="http://www.w3.org/1999/xhtml">
     12324Defines a new command named name, with command documentation
     12325documentation and function function.  If :transparent-p is true,
     12326the command becomes <a class="link" href="#TransparentKeyBindings" title="6.7.2.5. Transparent Key Bindings">transparent</a>.
     12327The command in entered in the
     12328string-table <a class="link" href="#v_command-names" title="Variable *command-names*">*command-names*</a>, with the command object as its
     12329value.  Normally command implementors will use the defcommand macro,
     12330but this permits access to the command definition mechanism at a lower
     12331level, which is occasionally useful.
     12332                            </p>
     12333                  </div>
     12334                </div>
     12335              </p>
     12336              <p>
     12337                <div class="refentrytitle">
     12338                  <a id="f_commandp"></a>
     12339                  <strong>[Function]</strong>
     12340                  <br></br>
     12341                  <code>
     12342                                commandp command
     12343                            </code>
     12344                </div>
     12345                <div class="refentrytitle"></div>
     12346              </p>
     12347              <p>
     12348                <div>
     12349                  <div class="refsect1" lang="en" xml:lang="en">
     12350                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451542"></a>
     12351                    <div class="header">Description:</div>
     12352                    <p xmlns="http://www.w3.org/1999/xhtml">
     12353Returns t if command is a command object, otherwise nil.
     12354                            </p>
     12355                  </div>
     12356                </div>
     12357              </p>
     12358              <p>
     12359                <div class="refentrytitle">
     12360                  <a id="f_command-documentation"></a>
     12361                  <strong>[Function]</strong>
     12362                  <br></br>
     12363                  <code>
     12364                                command-documentation command
     12365                            </code>
     12366                </div>
     12367                <div class="refentrytitle"></div>
     12368              </p>
     12369              <p>
     12370                <div>
     12371                  <div class="refsect1" lang="en" xml:lang="en">
     12372                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451599"></a>
     12373                    <div class="header">Description:</div>
     12374                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     12375                  </div>
     12376                </div>
     12377              </p>
     12378              <p>
     12379                <div class="refentrytitle">
     12380                  <a id="f_command-function"></a>
     12381                  <strong>[Function]</strong>
     12382                  <br></br>
     12383                  <code>
     12384                                command-function command
     12385                            </code>
     12386                </div>
     12387                <div class="refentrytitle"></div>
     12388              </p>
     12389              <p>
     12390                <div>
     12391                  <div class="refsect1" lang="en" xml:lang="en">
     12392                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451655"></a>
     12393                    <div class="header">Description:</div>
     12394                    <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     12395                  </div>
     12396                </div>
     12397              </p>
     12398              <p>
     12399                <div class="refentrytitle">
     12400                  <a id="f_command-name"></a>
     12401                  <strong>[Function]</strong>
     12402                  <br></br>
     12403                  <code>
     12404                                command-name command
     12405                            </code>
     12406                </div>
     12407                <div class="refentrytitle"></div>
     12408              </p>
     12409              <p>
     12410                <div>
     12411                  <div class="refsect1" lang="en" xml:lang="en">
     12412                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451711"></a>
     12413                    <div class="header">Description:</div>
     12414                    <p xmlns="http://www.w3.org/1999/xhtml">
     12415Returns the documentation, function, or name for command. These may be
     12416set with setf.
     12417                            </p>
     12418                  </div>
     12419                </div>
     12420              </p>
     12421            </div>
     12422            <div class="sect3" lang="en" xml:lang="en">
     12423              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12424                <div>
     12425                  <div>
     12426                    <h4 class="title"><a id="CommandDocumentation"></a>6.7.1.2. Command Documentation</h4>
     12427                  </div>
     12428                </div>
     12429              </div>
     12430              <p xmlns="http://www.w3.org/1999/xhtml">
     12431Command documentation is a description of what the command does when
     12432it is invoked as an extended command or from a key.  Command
     12433documentation may be either a string or a function.  If the
     12434documentation is a string then the first line should briefly summarize
     12435the command, with remaining lines filling the details.  Example:
     12436                    </p>
     12437              <pre xmlns="http://www.w3.org/1999/xhtml" class="programlisting">
     12438
     12439(defcommand "Forward Character" (p)
     12440  "Move the point forward one character.
     12441   With prefix argument move that many characters, with negative
     12442   argument go backwards."
     12443. . .)
     12444
     12445</pre>
     12446              <p xmlns="http://www.w3.org/1999/xhtml">
     12447Command documentation may also be a function of one argument.  The
     12448function is called with either :short or :full, indicating that the
     12449function should return a short documentation string or do something
     12450to document the command fully.
     12451                    </p>
     12452            </div>
    1226112453          </div>
    1226212454          <div class="sect2" lang="en" xml:lang="en">
     
    1227812470echo area, displaying partial keys typed slowly by the user, etc.
    1227912471            </p>
    12280             <p>
    12281               <div class="refentrytitle">
    12282                 <a id="hv_command_abort_hook"></a>
    12283                 <strong>[Hemlock Variable]</strong>
    12284                 <br></br>
    12285                 <code>
     12472            <div class="sect3" lang="en" xml:lang="en">
     12473              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12474                <div>
     12475                  <div>
     12476                    <h4 class="title"><a id="ControllingTheCommandInterpreter"></a>6.7.2.1. Controlling The Command Interpreter</h4>
     12477                  </div>
     12478                </div>
     12479              </div>
     12480              <p>
     12481                <div class="refentrytitle">
     12482                  <a id="hv_command_abort_hook"></a>
     12483                  <strong>[Hemlock Variable]</strong>
     12484                  <br></br>
     12485                  <code>
    1228612486                        Command Abort Hook
    1228712487                    </code>
    12288               </div>
    12289               <div class="refentrytitle"></div>
    12290             </p>
    12291             <p>
    12292               <div>
    12293                 <div class="refsect1" lang="en" xml:lang="en">
    12294                   <a xmlns="http://www.w3.org/1999/xhtml" id="id692582"></a>
    12295                   <div class="header">Description:</div>
    12296                   <p xmlns="http://www.w3.org/1999/xhtml">
     12488                </div>
     12489                <div class="refentrytitle"></div>
     12490              </p>
     12491              <p>
     12492                <div>
     12493                  <div class="refsect1" lang="en" xml:lang="en">
     12494                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451826"></a>
     12495                    <div class="header">Description:</div>
     12496                    <p xmlns="http://www.w3.org/1999/xhtml">
    1229712497The command interpreter invokes the function in this variable whenever
    1229812498someone aborts a command (for example, if someone called
    1229912499editor-error).
    1230012500                    </p>
    12301                 </div>
    12302               </div>
    12303             </p>
     12501                  </div>
     12502                </div>
     12503              </p>
     12504            </div>
     12505            <div class="sect3" lang="en" xml:lang="en">
     12506              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12507                <div>
     12508                  <div>
     12509                    <h4 class="title"><a id="EditorInput"></a>6.7.2.2. Editor Input</h4>
     12510                  </div>
     12511                </div>
     12512              </div>
     12513              <p xmlns="http://www.w3.org/1999/xhtml">
     12514The canonical representation of editor input is a key-event structure.
     12515Users can bind commands to keys, which are
     12516non-empty sequences of key-events. A key-event consists of an
     12517identifying token known as a keysym and a field of bits representing
     12518modifiers.  Users define keysym names by supplying names that reflect
     12519the legends on their keyboard's keys. Users define modifier names
     12520similarly, but the system chooses the bit and mask for recognizing the
     12521modifier.  You can use keysym and modifier names to textually specify
     12522key-events and Hemlock keys in a #k syntax. The following are some
     12523examples:
     12524                    </p>
     12525              <pre xmlns="http://www.w3.org/1999/xhtml" class="programlisting">
     12526
     12527#k"C-u"
     12528#k"Control-u"
     12529#k"c-m-z"
     12530#k"control-x meta-d"
     12531#k"a"
     12532#k"A"
     12533#k"Linefeed"
     12534
     12535</pre>
     12536              <p xmlns="http://www.w3.org/1999/xhtml">
     12537This is convenient for use within code and in init files
     12538containing <code class="code">bind-key</code> calls.
     12539                    </p>
     12540              <p xmlns="http://www.w3.org/1999/xhtml">
     12541The #k syntax is delimited by double quotes.  Within the
     12542double quotes, spaces separate multiple key-events.  A single
     12543key-event optionally starts with modifier names terminated by hyphens.
     12544Modifier names are alphabetic sequences of characters which the system
     12545uses case-insensitively. Following modifiers is a keysym name, which
     12546is case-insensitive if it consists of multiple characters, but if the
     12547name consists of only a single character, then it is case-sensitive.
     12548                    </p>
     12549              <p xmlns="http://www.w3.org/1999/xhtml">
     12550You can escape special characters---hyphen, double quote, open angle
     12551bracket, close angle bracket, and space---with a backslash, and you
     12552can specify a backslash by using two contiguously.  You can use angle
     12553brackets to enclose a keysym name with many special characters in it.
     12554Between angle brackets appearing in a keysym name position, there are
     12555only two special characters, the closing angle bracket and backslash.
     12556                    </p>
     12557              <p xmlns="http://www.w3.org/1999/xhtml">
     12558For more information on key-events see the <a class="link" href="#KeyEvents" title="6.17.1. Key-events">Key-events</a> section.
     12559                    </p>
     12560            </div>
     12561            <div class="sect3" lang="en" xml:lang="en">
     12562              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12563                <div>
     12564                  <div>
     12565                    <h4 class="title"><a id="BindingCommandsToKeys"></a>6.7.2.3. Binding Commands to Keys</h4>
     12566                  </div>
     12567                </div>
     12568              </div>
     12569              <p xmlns="http://www.w3.org/1999/xhtml">
     12570The command interpreter determines which command to invoke on the
     12571basis of <span class="emphasis"><em>key bindings</em></span>. A key binding is an association between a
     12572command and a sequence of key-events.  A sequence
     12573of key-events is called a key and is represented by a single key-event
     12574or a sequence (list or vector) of key-events.
     12575                    </p>
     12576              <p xmlns="http://www.w3.org/1999/xhtml">
     12577Since key bindings may be local to a mode or buffer, the <a class="link" href="#HemlockProgrammingTheCurrentEnvironment" title="6.5. The Current Environment">current
     12578environment</a> determines the set of key bindings in effect at
     12579any given time.  When the command interpreter tries to find the
     12580binding for a key, it first checks if there is a local binding in
     12581the <a class="link" href="#CurrentBuffer" title="6.3.1. The Current Buffer">current buffer</a>, then if there is a binding in each of the
     12582minor modes and the major <a class="link" href="#HemlockProgrammingModes" title="6.8. Modes">mode</a> for the current buffer, and
     12583finally checks to see if there is a global binding.  If no binding is
     12584found, then the command interpreter beeps or flashes the screen to
     12585indicate this.
     12586                    </p>
     12587              <p>
     12588                <div class="refentrytitle">
     12589                  <a id="f_bind-key"></a>
     12590                  <strong>[Function]</strong>
     12591                  <br></br>
     12592                  <code>
     12593                                bind-key name key <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;optional</em> kind where
     12594                            </code>
     12595                </div>
     12596                <div class="refentrytitle"></div>
     12597              </p>
     12598              <p>
     12599                <div>
     12600                  <div class="refsect1" lang="en" xml:lang="en">
     12601                    <a xmlns="http://www.w3.org/1999/xhtml" id="id451991"></a>
     12602                    <div class="header">Description:</div>
     12603                    <p xmlns="http://www.w3.org/1999/xhtml">
     12604This function associates command name and key in some environment. Key
     12605is either a key-event or a sequence of key-events.  There are three
     12606possible values of kind:
     12607                            </p>
     12608                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:global</span></i>---
     12609The default, make a global key binding.
     12610                                        </p>
     12611                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:mode</span></i>---
     12612Make a mode specific key binding in the mode whose name is where.
     12613                                        </p>
     12614                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:buffer</span></i>---
     12615Make a binding which is local to buffer where.
     12616                                        </p>
     12617                    <p xmlns="http://www.w3.org/1999/xhtml">
     12618This processes key for <a class="link" href="#KeyTranslation" title="6.7.2.4. Key Translation">key translations</a> before establishing the
     12619binding.
     12620                            </p>
     12621                    <p xmlns="http://www.w3.org/1999/xhtml">
     12622If the key is some prefix of a key binding which already exists in the
     12623specified place, then the new one will override the old one,
     12624effectively deleting it.
     12625                            </p>
     12626                    <p xmlns="http://www.w3.org/1999/xhtml">
     12627                                <code class="code">do-alpha-key-events</code> is useful for setting up bindings in certain new modes.
     12628                            </p>
     12629                  </div>
     12630                </div>
     12631              </p>
     12632              <p>
     12633                <div class="refentrytitle">
     12634                  <a id="f_command-bindings"></a>
     12635                  <strong>[Function]</strong>
     12636                  <br></br>
     12637                  <code>
     12638                                command-bindings command
     12639                            </code>
     12640                </div>
     12641                <div class="refentrytitle"></div>
     12642              </p>
     12643              <p>
     12644                <div>
     12645                  <div class="refsect1" lang="en" xml:lang="en">
     12646                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452126"></a>
     12647                    <div class="header">Description:</div>
     12648                    <p xmlns="http://www.w3.org/1999/xhtml">
     12649This function returns a list of the places where command is bound.  A
     12650place is specified as a list of the key (always a vector), the kind of
     12651binding, and where (either the mode or buffer to which the binding is
     12652local, or nil if it is a global).
     12653                            </p>
     12654                  </div>
     12655                </div>
     12656              </p>
     12657              <p>
     12658                <div class="refentrytitle">
     12659                  <a id="f_delete-key-binding"></a>
     12660                  <strong>[Function]</strong>
     12661                  <br></br>
     12662                  <code>
     12663                                delete-key-binding key <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;optional</em> kind where
     12664                            </code>
     12665                </div>
     12666                <div class="refentrytitle"></div>
     12667              </p>
     12668              <p>
     12669                <div>
     12670                  <div class="refsect1" lang="en" xml:lang="en">
     12671                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452188"></a>
     12672                    <div class="header">Description:</div>
     12673                    <p xmlns="http://www.w3.org/1999/xhtml">
     12674This function removes the binding of key in some place. Key is either
     12675a key-event or a sequence of key-events. kind is the kind of binding
     12676to delete, one of :global(the default), :mode or :buffer. If kind is
     12677:mode, where is the mode name, and if kind is :buffer, then where is
     12678the buffer.
     12679                            </p>
     12680                    <p xmlns="http://www.w3.org/1999/xhtml">
     12681This function signals an error if key is unbound.
     12682                            </p>
     12683                    <p xmlns="http://www.w3.org/1999/xhtml">
     12684This processes key for <a class="link" href="#KeyTranslation" title="6.7.2.4. Key Translation">key translations</a> before deleting the binding.
     12685                            </p>
     12686                  </div>
     12687                </div>
     12688              </p>
     12689              <p>
     12690                <div class="refentrytitle">
     12691                  <a id="f_get-command"></a>
     12692                  <strong>[Function]</strong>
     12693                  <br></br>
     12694                  <code>
     12695                                get-command key <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;optional</em> kind where
     12696                            </code>
     12697                </div>
     12698                <div class="refentrytitle"></div>
     12699              </p>
     12700              <p>
     12701                <div>
     12702                  <div class="refsect1" lang="en" xml:lang="en">
     12703                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452266"></a>
     12704                    <div class="header">Description:</div>
     12705                    <p xmlns="http://www.w3.org/1999/xhtml">
     12706This function returns the command bound to key, returning nil if it is
     12707unbound. Key is either a key-event or a sequence of key-events.  If
     12708key is an initial subsequence of some keys, then this returns the
     12709keyword :prefix. There are four cases of kind:
     12710                            </p>
     12711                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:current</span></i>---
     12712Return the current binding of key using the current buffer's search
     12713list.  If there are any transparent key bindings for key, then they
     12714are returned in a list as a second value.
     12715                                        </p>
     12716                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:global</span></i>---
     12717Return the global binding of key. This is the default.
     12718                                        </p>
     12719                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:mode</span></i>---
     12720Return the binding of key in the mode named where.
     12721                                        </p>
     12722                    <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">:buffer</span></i>---
     12723Return the binding of key local to the buffer where.
     12724                                        </p>
     12725                    <p xmlns="http://www.w3.org/1999/xhtml">
     12726This processes key for <a class="link" href="#KeyTranslation" title="6.7.2.4. Key Translation">key translations</a> before looking for any
     12727binding.
     12728                            </p>
     12729                  </div>
     12730                </div>
     12731              </p>
     12732              <p>
     12733                <div class="refentrytitle">
     12734                  <a id="f_map-bindings"></a>
     12735                  <strong>[Function]</strong>
     12736                  <br></br>
     12737                  <code>
     12738                                map-bindings function kind <em xmlns="http://www.w3.org/1999/xhtml" class="varname">&amp;optional</em> where
     12739                            </code>
     12740                </div>
     12741                <div class="refentrytitle"></div>
     12742              </p>
     12743              <p>
     12744                <div>
     12745                  <div class="refsect1" lang="en" xml:lang="en">
     12746                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452410"></a>
     12747                    <div class="header">Description:</div>
     12748                    <p xmlns="http://www.w3.org/1999/xhtml">
     12749This function maps over the key bindings in some place.  For each
     12750binding, this passes function the key and the command bound to
     12751it. Kind and where are the same as in bind-key. The key is not
     12752guaranteed to remain valid after a given iteration.
     12753                            </p>
     12754                  </div>
     12755                </div>
     12756              </p>
     12757            </div>
     12758            <div class="sect3" lang="en" xml:lang="en">
     12759              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12760                <div>
     12761                  <div>
     12762                    <h4 class="title"><a id="KeyTranslation"></a>6.7.2.4. Key Translation</h4>
     12763                  </div>
     12764                </div>
     12765              </div>
     12766              <p xmlns="http://www.w3.org/1999/xhtml">
     12767Key translation is a process that the command interpreter applies to
     12768keys before doing anything else.  There are two kinds of key
     12769translations: substitution and bit-prefix. In either case, the command
     12770interpreter translates a key when a specified key-event sequence
     12771appears in a key.
     12772                    </p>
     12773              <p xmlns="http://www.w3.org/1999/xhtml">
     12774In a substitution translation, the system replaces the matched
     12775subsequence with another key-event sequence. Key translation is not
     12776recursively applied to the substituted key-events.
     12777                    </p>
     12778              <p xmlns="http://www.w3.org/1999/xhtml">
     12779In a bit-prefix translation, the system removes the matched
     12780subsequence and effectively sets the specified bits in the next
     12781key-event in the key.
     12782                    </p>
     12783              <p xmlns="http://www.w3.org/1999/xhtml">
     12784While translating a key, if the system encounters an incomplete final
     12785subsequence of key-events, it aborts the translation process.  This
     12786happens when those last key-events form a prefix of some
     12787translation. It also happens when they translate to a bit-prefix, but
     12788there is no following key-event to which the system can apply the
     12789indicated modifier. If there is a binding for this partially
     12790untranslated key, then the command interpreter will invoke that
     12791command; otherwise, it will wait for the user to type more key-events.
     12792                    </p>
     12793              <p>
     12794                <div class="refentrytitle">
     12795                  <a id="f_key-translation"></a>
     12796                  <strong>[Function]</strong>
     12797                  <br></br>
     12798                  <code>
     12799                                key-translation key
     12800                            </code>
     12801                </div>
     12802                <div class="refentrytitle"></div>
     12803              </p>
     12804              <p>
     12805                <div>
     12806                  <div class="refsect1" lang="en" xml:lang="en">
     12807                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452504"></a>
     12808                    <div class="header">Description:</div>
     12809                    <p xmlns="http://www.w3.org/1999/xhtml">
     12810This form is setf-able and allows users to register key translations
     12811that the command interpreter will use as users type key-events.
     12812                            </p>
     12813                    <p xmlns="http://www.w3.org/1999/xhtml">
     12814This function returns the key translation for key, returning nil if
     12815there is none. Key is either a key-event or a sequence of key-events.
     12816If key is a prefix of a translation, then this returns :prefix.
     12817                            </p>
     12818                    <p xmlns="http://www.w3.org/1999/xhtml">
     12819A key translation is either a key or modifier specification. The bits
     12820translations have a list form: (:bits {bit-name}*).
     12821                            </p>
     12822                    <p xmlns="http://www.w3.org/1999/xhtml">
     12823Whenever key appears as a subsequence of a key argument to the binding
     12824manipulation functions, that portion will be replaced with the
     12825translation.
     12826                            </p>
     12827                  </div>
     12828                </div>
     12829              </p>
     12830            </div>
     12831            <div class="sect3" lang="en" xml:lang="en">
     12832              <div xmlns="http://www.w3.org/1999/xhtml" class="titlepage">
     12833                <div>
     12834                  <div>
     12835                    <h4 class="title"><a id="TransparentKeyBindings"></a>6.7.2.5. Transparent Key Bindings</h4>
     12836                  </div>
     12837                </div>
     12838              </div>
     12839              <p xmlns="http://www.w3.org/1999/xhtml">
     12840Key bindings local to a mode may be transparent. A transparent key
     12841binding does not shadow less local key bindings, but rather indicates
     12842that the bound command should be invoked before the first normal key
     12843binding.  Transparent key bindings are primarily useful for
     12844implementing minor modes such as auto fill and word
     12845abbreviation. There may be several transparent key bindings for a
     12846given key, in which case all of the transparent commands are invoked in the
     12847order they were found. If there no normal key binding for a key typed,
     12848then the command interpreter acts as though the key is unbound even if
     12849there are transparent key bindings.
     12850                    </p>
     12851              <p xmlns="http://www.w3.org/1999/xhtml">
     12852The :transparent-p argument to <a class="link" href="#f_defmode" title="Function defmode">defmode</a> determines whether
     12853all the key bindings in a mode are transparent or not.  In addition
     12854a particular command may be declared to be transparent by the
     12855:transparent-p argument to defcommand and make-command.
     12856                    </p>
     12857            </div>
    1230412858          </div>
    1230512859          <div class="sect2" lang="en" xml:lang="en">
     
    1233012884              <div>
    1233112885                <div class="refsect1" lang="en" xml:lang="en">
    12332                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693322"></a>
     12886                  <a xmlns="http://www.w3.org/1999/xhtml" id="id452627"></a>
    1233312887                  <div class="header">Description:</div>
    1233412888                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1238912943                <div>
    1239012944                  <div class="refsect1" lang="en" xml:lang="en">
    12391                     <a xmlns="http://www.w3.org/1999/xhtml" id="id693414"></a>
     12945                    <a xmlns="http://www.w3.org/1999/xhtml" id="id452719"></a>
    1239212946                    <div class="header">Description:</div>
    1239312947                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1243012984          <p xmlns="http://www.w3.org/1999/xhtml">
    1243112985A mode is a collection of Hemlock values which may be present in the
    12432 current environment (page 21) depending on the editing task at hand.
     12986<a class="link" href="#HemlockProgrammingTheCurrentEnvironment" title="6.5. The Current Environment">current environment</a> depending on the editing task at hand.
    1243312987An example of a typical mode is Lisp, for editing Lisp code.
    1243412988        </p>
     
    1248613040              <div>
    1248713041                <div class="refsect1" lang="en" xml:lang="en">
    12488                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693547"></a>
     13042                  <a xmlns="http://www.w3.org/1999/xhtml" id="id452858"></a>
    1248913043                  <div class="header">Description:</div>
    1249013044                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1250913063              <div>
    1251013064                <div class="refsect1" lang="en" xml:lang="en">
    12511                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693602"></a>
     13065                  <a xmlns="http://www.w3.org/1999/xhtml" id="id452912"></a>
    1251213066                  <div class="header">Description:</div>
    1251313067                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1253113085              <div>
    1253213086                <div class="refsect1" lang="en" xml:lang="en">
    12533                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693656"></a>
     13087                  <a xmlns="http://www.w3.org/1999/xhtml" id="id452967"></a>
    1253413088                  <div class="header">Description:</div>
    1253513089                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1256513119              <div>
    1256613120                <div class="refsect1" lang="en" xml:lang="en">
    12567                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693726"></a>
     13121                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453037"></a>
    1256813122                  <div class="header">Description:</div>
    1256913123                  <p xmlns="http://www.w3.org/1999/xhtml">
    1257013124This function defines a new mode named name, and enters it in
    12571 *mode-names* (page 35).  If major-p is supplied and is not nil then
     13125<a class="link" href="#v_mode-names" title="Variable *mode-names*">*mode-names*</a>.  If major-p is supplied and is not nil then
    1257213126the mode is a major mode; otherwise it is a minor mode.
    1257313127                    </p>
     
    1261313167              <div>
    1261413168                <div class="refsect1" lang="en" xml:lang="en">
    12615                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693805"></a>
     13169                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453122"></a>
    1261613170                  <div class="header">Description:</div>
    1261713171                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1263513189              <div>
    1263613190                <div class="refsect1" lang="en" xml:lang="en">
    12637                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693860"></a>
     13191                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453176"></a>
    1263813192                  <div class="header">Description:</div>
    1263913193                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1265513209              <div>
    1265613210                <div class="refsect1" lang="en" xml:lang="en">
    12657                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693915"></a>
     13211                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453231"></a>
    1265813212                  <div class="header">Description:</div>
    1265913213                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1267913233              <div>
    1268013234                <div class="refsect1" lang="en" xml:lang="en">
    12681                   <a xmlns="http://www.w3.org/1999/xhtml" id="id693970"></a>
     13235                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453286"></a>
    1268213236                  <div class="header">Description:</div>
    1268313237                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1269913253              <div>
    1270013254                <div class="refsect1" lang="en" xml:lang="en">
    12701                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694025"></a>
     13255                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453341"></a>
    1270213256                  <div class="header">Description:</div>
    1270313257                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1272413278              <div>
    1272513279                <div class="refsect1" lang="en" xml:lang="en">
    12726                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694080"></a>
     13280                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453397"></a>
    1272713281                  <div class="header">Description:</div>
    1272813282                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1274613300              <div>
    1274713301                <div class="refsect1" lang="en" xml:lang="en">
    12748                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694134"></a>
     13302                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453451"></a>
    1274913303                  <div class="header">Description:</div>
    1275013304                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1281913373commands (and which the user should not know about) should not be
    1282013374maintained as a character attribute.  For such uses various character
    12821 searching abilities are provided by the function find-pattern (page
     13375searching abilities are provided by the function <a class="link" href="#f_find-pattern" title="Function find-pattern">find-pattern</a>.
    128221337620).
    1282313377            </p>
     
    1285313407              <div>
    1285413408                <div class="refsect1" lang="en" xml:lang="en">
    12855                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694296"></a>
     13409                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453618"></a>
    1285613410                  <div class="header">Description:</div>
    1285713411                  <p xmlns="http://www.w3.org/1999/xhtml">
    1285813412Whenever a character attribute is defined, its name is entered in this
    12859 string table (page 69), with the corresponding keyword as the value.
     13413<a class="link" href="#StringTableFunctions" title="6.16.1. String-table Functions">string-table</a>, with the corresponding keyword as the value.
    1286013414                    </p>
    1286113415                </div>
     
    1288513439              <div>
    1288613440                <div class="refsect1" lang="en" xml:lang="en">
    12887                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694366"></a>
     13441                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453694"></a>
    1288813442                  <div class="header">Description:</div>
    1288913443                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1292013474              <div>
    1292113475                <div class="refsect1" lang="en" xml:lang="en">
    12922                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694433"></a>
     13476                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453761"></a>
    1292313477                  <div class="header">Description:</div>
    1292413478                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1294013494              <div>
    1294113495                <div class="refsect1" lang="en" xml:lang="en">
    12942                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694488"></a>
     13496                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453816"></a>
    1294313497                  <div class="header">Description:</div>
    1294413498                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1296213516              <div>
    1296313517                <div class="refsect1" lang="en" xml:lang="en">
    12964                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694543"></a>
     13518                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453871"></a>
    1296513519                  <div class="header">Description:</div>
    1296613520                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1298213536              <div>
    1298313537                <div class="refsect1" lang="en" xml:lang="en">
    12984                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694598"></a>
     13538                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453926"></a>
    1298513539                  <div class="header">Description:</div>
    1298613540                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1301613570              <div>
    1301713571                <div class="refsect1" lang="en" xml:lang="en">
    13018                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694664"></a>
     13572                  <a xmlns="http://www.w3.org/1999/xhtml" id="id453992"></a>
    1301913573                  <div class="header">Description:</div>
    1302013574                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1303913593              <div>
    1304013594                <div class="refsect1" lang="en" xml:lang="en">
    13041                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694720"></a>
     13595                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454048"></a>
    1304213596                  <div class="header">Description:</div>
    1304313597                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1305913613              <div>
    1306013614                <div class="refsect1" lang="en" xml:lang="en">
    13061                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694774"></a>
     13615                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454102"></a>
    1306213616                  <div class="header">Description:</div>
    1306313617                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1308613640              <div>
    1308713641                <div class="refsect1" lang="en" xml:lang="en">
    13088                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694832"></a>
     13642                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454160"></a>
    1308913643                  <div class="header">Description:</div>
    1309013644                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1310613660              <div>
    1310713661                <div class="refsect1" lang="en" xml:lang="en">
    13108                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694887"></a>
     13662                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454215"></a>
    1310913663                  <div class="header">Description:</div>
    1311013664                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1313013684              <div>
    1313113685                <div class="refsect1" lang="en" xml:lang="en">
    13132                   <a xmlns="http://www.w3.org/1999/xhtml" id="id694946"></a>
     13686                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454273"></a>
    1313313687                  <div class="header">Description:</div>
    1313413688                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1315013704              <div>
    1315113705                <div class="refsect1" lang="en" xml:lang="en">
    13152                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695004"></a>
     13706                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454332"></a>
    1315313707                  <div class="header">Description:</div>
    1315413708                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1318013734              <div>
    1318113735                <div class="refsect1" lang="en" xml:lang="en">
    13182                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695067"></a>
     13736                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454395"></a>
    1318313737                  <div class="header">Description:</div>
    1318413738                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1320013754              <div>
    1320113755                <div class="refsect1" lang="en" xml:lang="en">
    13202                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695122"></a>
     13756                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454450"></a>
    1320313757                  <div class="header">Description:</div>
    1320413758                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1324413798              <div>
    1324513799                <div class="refsect1" lang="en" xml:lang="en">
    13246                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695201"></a>
     13800                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454529"></a>
    1324713801                  <div class="header">Description:</div>
    1324813802                  <p xmlns="http://www.w3.org/1999/xhtml">
    1324913803Return the current hook list for attribute. This may be set with
    13250 setf. The add-hook and remove-hook (page 25) macros should be used to
     13804setf. The <a class="link" href="#m_add-hook" title="Macro add-hook">add-hook</a> and <a class="link" href="#m_remove-hook" title="Macro remove-hook">remove-hook</a> macros should be used to
    1325113805manipulate these lists.
    1325213806                    </p>
     
    1328113835                <dd>
    1328213836                  <p>
    13283 A value of 1 indicates the character separates words (see section 15.3).
     13837A value of 1 indicates the character separates words (see the <a class="link" href="#EnglishTextBuffers" title="6.15.3. English Text Buffers">English Text Buffers</a> section).
     13838
    1328413839                        </p>
    1328513840                </dd>
     
    1329813853                <dd>
    1329913854                  <p>
    13300 A value of 1 indicates these characters terminate sentences (see section 15.3).
     13855A value of 1 indicates these characters terminate sentences (see the <a class="link" href="#EnglishTextBuffers" title="6.15.3. English Text Buffers">English Text Buffers</a> section).
    1330113856                        </p>
    1330213857                </dd>
     
    1330713862                  <p>
    1330813863A value of 1 indicates these delimiting characters, such as " or ),
    13309 may follow a Sentence Terminator (see section 15.3).
     13864may follow a Sentence Terminator.
    1331013865                        </p>
    1331113866                </dd>
     
    1331613871                  <p>
    1331713872A value of 1 indicates these characters delimit paragraphs when they
    13318 begin a line (see section 15.3).
     13873begin a line (see the <a class="link" href="#EnglishTextBuffers" title="6.15.3. English Text Buffers">English Text Buffers</a> section).
    1331913874                        </p>
    1332013875                </dd>
     
    1332413879                <dd>
    1332513880                  <p>
    13326 A value of 1 indicates this character separates logical pages (see
    13327 section 15.4) when it begins a line.
     13881A value of 1 indicates this character separates <a class="link" href="#LogicalPages" title="6.15.4. Logical Pages">logical pages</a>
     13882when it begins a line.
    1332813883                        </p>
    1332913884                </dd>
     
    1348314038              <div>
    1348414039                <div class="refsect1" lang="en" xml:lang="en">
    13485                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695569"></a>
     14040                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454932"></a>
    1348614041                  <div class="header">Description:</div>
    1348714042                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1351614071              <div>
    1351714072                <div class="refsect1" lang="en" xml:lang="en">
    13518                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695636"></a>
     14073                  <a xmlns="http://www.w3.org/1999/xhtml" id="id454998"></a>
    1351914074                  <div class="header">Description:</div>
    1352014075                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1353814093              <div>
    1353914094                <div class="refsect1" lang="en" xml:lang="en">
    13540                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695691"></a>
     14095                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455053"></a>
    1354114096                  <div class="header">Description:</div>
    1354214097                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1356914124              <div>
    1357014125                <div class="refsect1" lang="en" xml:lang="en">
    13571                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695757"></a>
     14126                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455119"></a>
    1357214127                  <div class="header">Description:</div>
    1357314128                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1359314148              <div>
    1359414149                <div class="refsect1" lang="en" xml:lang="en">
    13595                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695816"></a>
     14150                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455178"></a>
    1359614151                  <div class="header">Description:</div>
    1359714152                  <p xmlns="http://www.w3.org/1999/xhtml">
    13598 This function is analogous to move-to-position (page 5), except that
     14153This function is analogous to <a class="link" href="#f_move-to-position" title="Function move-to-position">move-to-position</a>, except that
    1359914154it moves mark to the position on line which corresponds to the
    1360014155specified column.  If the line would not reach to the specified column, then nil is
     
    1363414189              <div>
    1363514190                <div class="refsect1" lang="en" xml:lang="en">
    13636                   <a xmlns="http://www.w3.org/1999/xhtml" id="id695893"></a>
     14191                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455261"></a>
    1363714192                  <div class="header">Description:</div>
    1363814193                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1368514240            </div>
    1368614241            <p xmlns="http://www.w3.org/1999/xhtml">
    13687 Some primitives such as prompt-for-key (page 50) and commands such as
     14242Some primitives such as <a class="link" href="#f_prompt-for-key" title="Function prompt-for-key">prompt-for-key</a> and commands such as
    1368814243Emacs query replace read key-events directly from the keyboard instead
    1368914244of using the command interpreter.  To encourage consistency between
     
    1372114276              <div>
    1372214277                <div class="refsect1" lang="en" xml:lang="en">
    13723                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696136"></a>
     14278                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455509"></a>
    1372414279                  <div class="header">Description:</div>
    1372514280                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1374414299              <div>
    1374514300                <div class="refsect1" lang="en" xml:lang="en">
    13746                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696192"></a>
     14301                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455566"></a>
    1374714302                  <div class="header">Description:</div>
    1374814303                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1377214327              <div>
    1377314328                <div class="refsect1" lang="en" xml:lang="en">
    13774                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696253"></a>
     14329                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455627"></a>
    1377514330                  <div class="header">Description:</div>
    1377614331                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1379514350              <div>
    1379614351                <div class="refsect1" lang="en" xml:lang="en">
    13797                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696308"></a>
     14352                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455682"></a>
    1379814353                  <div class="header">Description:</div>
    1379914354                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1381514370              <div>
    1381614371                <div class="refsect1" lang="en" xml:lang="en">
    13817                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696363"></a>
     14372                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455737"></a>
    1381814373                  <div class="header">Description:</div>
    1381914374                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1383814393              <div>
    1383914394                <div class="refsect1" lang="en" xml:lang="en">
    13840                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696419"></a>
     14395                  <a xmlns="http://www.w3.org/1999/xhtml" id="id455792"></a>
    1384114396                  <div class="header">Description:</div>
    1384214397                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1386414419key-event read should be compared to the corresponding logical
    1386514420key-event instead of explicitly mentioning the particular key-event in
    13866 the code.  In many cases you can use the command-case (page 48) macro.
     14421the code.  In many cases you can use the <a class="link" href="#m_command-case" title="Macro command-case">command-case</a> macro.
    1386714422It makes logical key-events easy to use and takes care of prompting
    1386814423and displaying help messages.
     
    1397014525            <div>
    1397114526              <div>
    13972                 <h2 class="title" style="clear: both"><a id="EchoArea"></a>6.12. The Echo Area</h2>
     14527                <h2 class="title" style="clear: both"><a id="HemlockProgrammingEchoArea"></a>6.12. The Echo Area</h2>
    1397314528              </div>
    1397414529            </div>
     
    1400114556              <div>
    1400214557                <div class="refsect1" lang="en" xml:lang="en">
    14003                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696675"></a>
     14558                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456056"></a>
    1400414559                  <div class="header">Description:</div>
    1400514560                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1402314578              <div>
    1402414579                <div class="refsect1" lang="en" xml:lang="en">
    14025                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696733"></a>
     14580                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456114"></a>
    1402614581                  <div class="header">Description:</div>
    1402714582                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1404314598              <div>
    1404414599                <div class="refsect1" lang="en" xml:lang="en">
    14045                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696791"></a>
     14600                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456172"></a>
    1404614601                  <div class="header">Description:</div>
    1404714602                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1406614621              <div>
    1406714622                <div class="refsect1" lang="en" xml:lang="en">
    14068                   <a xmlns="http://www.w3.org/1999/xhtml" id="id696847"></a>
     14623                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456227"></a>
    1406914624                  <div class="header">Description:</div>
    1407014625                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1417014725              <div>
    1417114726                <div class="refsect1" lang="en" xml:lang="en">
    14172                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697022"></a>
     14727                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456403"></a>
    1417314728                  <div class="header">Description:</div>
    1417414729                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1419814753              <div>
    1419914754                <div class="refsect1" lang="en" xml:lang="en">
    14200                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697084"></a>
     14755                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456464"></a>
    1420114756                  <div class="header">Description:</div>
    1420214757                  <p xmlns="http://www.w3.org/1999/xhtml">
    1420314758This function prompts for a key-event returning immediately when the
    14204 user types the next key-event.  command-case (page 48) is more useful
    14205 for most purposes. When appropriate, use logical key-events (page 45).
     14759user types the next key-event.  <a class="link" href="#m_command-case" title="Macro command-case">command-case</a> is more useful
     14760for most purposes. When appropriate, use <a class="link" href="#HemlockProgrammingLogicalKeyEvents" title="6.11. Logical Key-Events">logical key-events</a>.
    1420614761                    </p>
    1420714762                </div>
     
    1422214777              <div>
    1422314778                <div class="refsect1" lang="en" xml:lang="en">
    14224                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697144"></a>
     14779                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456536"></a>
    1422514780                  <div class="header">Description:</div>
    1422614781                  <p xmlns="http://www.w3.org/1999/xhtml">
    1422714782This function prompts for a key, a vector of key-events, suitable for
    14228 passing to any of the functions that manipulate key bindings (page
    14229 29).  If must-exist is true, then the key must be bound in the current
     14783passing to any of the functions that manipulate <a class="link" href="#BindingCommandsToKeys" title="6.7.2.3. Binding Commands to Keys">key bindings</a>.
     14784If must-exist is true, then the key must be bound in the current
    1423014785environment, and the command currently bound is returned as the second
    1423114786value.
     
    1424814803              <div>
    1424914804                <div class="refsect1" lang="en" xml:lang="en">
    14250                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697205"></a>
     14805                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456602"></a>
    1425114806                  <div class="header">Description:</div>
    1425214807                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1427414829              <div>
    1427514830                <div class="refsect1" lang="en" xml:lang="en">
    14276                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697266"></a>
     14831                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456663"></a>
    1427714832                  <div class="header">Description:</div>
    1427814833                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1429814853              <div>
    1429914854                <div class="refsect1" lang="en" xml:lang="en">
    14300                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697325"></a>
     14855                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456722"></a>
    1430114856                  <div class="header">Description:</div>
    1430214857                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1433214887              <div>
    1433314888                <div class="refsect1" lang="en" xml:lang="en">
    14334                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697392"></a>
     14889                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456790"></a>
    1433514890                  <div class="header">Description:</div>
    1433614891                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1435514910              <div>
    1435614911                <div class="refsect1" lang="en" xml:lang="en">
    14357                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697452"></a>
     14912                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456849"></a>
    1435814913                  <div class="header">Description:</div>
    1435914914                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1437714932              <div>
    1437814933                <div class="refsect1" lang="en" xml:lang="en">
    14379                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697511"></a>
     14934                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456908"></a>
    1438014935                  <div class="header">Description:</div>
    1438114936                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1440214957              <div>
    1440314958                <div class="refsect1" lang="en" xml:lang="en">
    14404                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697571"></a>
     14959                  <a xmlns="http://www.w3.org/1999/xhtml" id="id456968"></a>
    1440514960                  <div class="header">Description:</div>
    1440614961                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1442914984              <div>
    1443014985                <div class="refsect1" lang="en" xml:lang="en">
    14431                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697633"></a>
     14986                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457030"></a>
    1443214987                  <div class="header">Description:</div>
    1443314988                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1445315008              <div>
    1445415009                <div class="refsect1" lang="en" xml:lang="en">
    14455                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697688"></a>
     15010                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457086"></a>
    1445615011                  <div class="header">Description:</div>
    1445715012                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1445915014as Help use this to get a key-event, translate it to a
    1446015015character, and then to dispatch on the character to some case.  In
    14461 addition to character dispatching, this supports logical key-events
    14462 (page 45) by using the input key-event directly without translating it
     15016addition to character dispatching, this supports <a class="link" href="#HemlockProgrammingLogicalKeyEvents" title="6.11. Logical Key-Events">logical key-events</a>
     15017by using the input key-event directly without translating it
    1446315018to a character.  Since the description of this macro is rather
    1446415019complex, first consider the following example:
     
    1455715112              <div>
    1455815113                <div class="refsect1" lang="en" xml:lang="en">
    14559                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697855"></a>
     15114                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457258"></a>
    1456015115                  <div class="header">Description:</div>
    1456115116                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1459515150              <div>
    1459615151                <div class="refsect1" lang="en" xml:lang="en">
    14597                   <a xmlns="http://www.w3.org/1999/xhtml" id="id697931"></a>
     15152                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457334"></a>
    1459815153                  <div class="header">Description:</div>
    1459915154                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1460315158                    </p>
    1460415159                  <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term"><code class="code">:verification-function</code></span></i>---
    14605 This is invoked by the Confirm Parse command (page 52).  It does most of
    14606 the work when parsing prompted input. Confirm Parse (page 52) calls it
     15160This is invoked by the <a xmlns="http://www.w3.org/1999/xhtml" class="link" href="#c_confirm_parse" title="Command Confirm Parse">Confirm Parse</a> command.  It does most of
     15161the work when parsing prompted input. Confirm Parse calls it
    1460715162with one argument, which is the string that the user typed so far.
    1460815163The function should return a list of values which are to be the result
     
    1467015225              <div>
    1467115226                <div class="refsect1" lang="en" xml:lang="en">
    14672                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698153"></a>
     15227                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457562"></a>
    1467315228                  <div class="header">Description:</div>
    1467415229                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1469215247              <div>
    1469315248                <div class="refsect1" lang="en" xml:lang="en">
    14694                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698208"></a>
     15249                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457617"></a>
    1469515250                  <div class="header">Description:</div>
    1469615251                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1471515270              <div>
    1471615271                <div class="refsect1" lang="en" xml:lang="en">
    14717                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698264"></a>
     15272                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457672"></a>
    1471815273                  <div class="header">Description:</div>
    1471915274                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1474115296              <div>
    1474215297                <div class="refsect1" lang="en" xml:lang="en">
    14743                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698324"></a>
     15298                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457733"></a>
    1474415299                  <div class="header">Description:</div>
    1474515300                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1475815313            <div>
    1475915314              <div>
    14760                 <h2 class="title" style="clear: both"><a id="Files"></a>6.13. Files</h2>
     15315                <h2 class="title" style="clear: both"><a id="HemlockProgrammingFiles"></a>6.13. Files</h2>
    1476115316              </div>
    1476215317            </div>
     
    1481215367              <div>
    1481315368                <div class="refsect1" lang="en" xml:lang="en">
    14814                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698428"></a>
     15369                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457837"></a>
    1481515370                  <div class="header">Description:</div>
    1481615371                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1483615391              <div>
    1483715392                <div class="refsect1" lang="en" xml:lang="en">
    14838                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698485"></a>
     15393                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457893"></a>
    1483915394                  <div class="header">Description:</div>
    1484015395                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1486115416              <div>
    1486215417                <div class="refsect1" lang="en" xml:lang="en">
    14863                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698545"></a>
     15418                  <a xmlns="http://www.w3.org/1999/xhtml" id="id457954"></a>
    1486415419                  <div class="header">Description:</div>
    1486515420                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1490315458              <div>
    1490415459                <div class="refsect1" lang="en" xml:lang="en">
    14905                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698619"></a>
     15460                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458028"></a>
    1490615461                  <div class="header">Description:</div>
    1490715462                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1492515480              <div>
    1492615481                <div class="refsect1" lang="en" xml:lang="en">
    14927                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698675"></a>
     15482                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458083"></a>
    1492815483                  <div class="header">Description:</div>
    1492915484                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1494515500              <div>
    1494615501                <div class="refsect1" lang="en" xml:lang="en">
    14947                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698730"></a>
     15502                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458138"></a>
    1494815503                  <div class="header">Description:</div>
    1494915504                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1496515520              <div>
    1496615521                <div class="refsect1" lang="en" xml:lang="en">
    14967                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698785"></a>
     15522                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458194"></a>
    1496815523                  <div class="header">Description:</div>
    1496915524                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1498915544              <div>
    1499015545                <div class="refsect1" lang="en" xml:lang="en">
    14991                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698841"></a>
     15546                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458250"></a>
    1499215547                  <div class="header">Description:</div>
    1499315548                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1504115596              <div>
    1504215597                <div class="refsect1" lang="en" xml:lang="en">
    15043                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698930"></a>
     15598                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458338"></a>
    1504415599                  <div class="header">Description:</div>
    1504515600                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1506315618              <div>
    1506415619                <div class="refsect1" lang="en" xml:lang="en">
    15065                   <a xmlns="http://www.w3.org/1999/xhtml" id="id698988"></a>
     15620                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458397"></a>
    1506615621                  <div class="header">Description:</div>
    1506715622                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1508315638              <div>
    1508415639                <div class="refsect1" lang="en" xml:lang="en">
    15085                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699043"></a>
     15640                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458451"></a>
    1508615641                  <div class="header">Description:</div>
    1508715642                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1511615671              <div>
    1511715672                <div class="refsect1" lang="en" xml:lang="en">
    15118                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699109"></a>
     15673                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458517"></a>
    1511915674                  <div class="header">Description:</div>
    1512015675                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1513615691              <div>
    1513715692                <div class="refsect1" lang="en" xml:lang="en">
    15138                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699163"></a>
     15693                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458572"></a>
    1513915694                  <div class="header">Description:</div>
    1514015695                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1515615711              <div>
    1515715712                <div class="refsect1" lang="en" xml:lang="en">
    15158                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699218"></a>
     15713                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458627"></a>
    1515915714                  <div class="header">Description:</div>
    1516015715                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1524115796              <div>
    1524215797                <div class="refsect1" lang="en" xml:lang="en">
    15243                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699353"></a>
     15798                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458762"></a>
    1524415799                  <div class="header">Description:</div>
    1524515800                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1526115816              <div>
    1526215817                <div class="refsect1" lang="en" xml:lang="en">
    15263                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699407"></a>
     15818                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458816"></a>
    1526415819                  <div class="header">Description:</div>
    1526515820                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1537715932              <div>
    1537815933                <div class="refsect1" lang="en" xml:lang="en">
    15379                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699584"></a>
     15934                  <a xmlns="http://www.w3.org/1999/xhtml" id="id458993"></a>
    1538015935                  <div class="header">Description:</div>
    1538115936                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1542315978              <div>
    1542415979                <div class="refsect1" lang="en" xml:lang="en">
    15425                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699663"></a>
     15980                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459071"></a>
    1542615981                  <div class="header">Description:</div>
    1542715982                  <p xmlns="http://www.w3.org/1999/xhtml">
    15428 This is a Hemlock ring buffer (see page 70) that holds the last 60
     15983This is a Hemlock <a class="link" href="#RingFunctions" title="6.16.2. Ring Functions">ring buffer</a> that holds the last 60
    1542915984key-events received.
    1543015985                    </p>
     
    1544616001              <div>
    1544716002                <div class="refsect1" lang="en" xml:lang="en">
    15448                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699718"></a>
     16003                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459132"></a>
    1544916004                  <div class="header">Description:</div>
    1545016005                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1546816023              <div>
    1546916024                <div class="refsect1" lang="en" xml:lang="en">
    15470                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699772"></a>
     16025                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459186"></a>
    1547116026                  <div class="header">Description:</div>
    1547216027                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1549216047            <p xmlns="http://www.w3.org/1999/xhtml">
    1549316048Note that operations on these streams operate directly on buffers,
    15494 therefore they have the same restrictions as described <a class="ulink" href="HemlockProgrammer/Buffers" target="_top">here</a>
     16049therefore they have the same restrictions as described <a class="link" href="#HemlockProgrammingBuffers" title="6.3. Buffers">here</a>
    1549516050for interacting with buffers from outside of the GUI thread.
    1549616051            </p>
     
    1550916064              <div>
    1551016065                <div class="refsect1" lang="en" xml:lang="en">
    15511                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699859"></a>
     16066                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459273"></a>
    1551216067                  <div class="header">Description:</div>
    1551316068                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1554516100              <div>
    1554616101                <div class="refsect1" lang="en" xml:lang="en">
    15547                   <a xmlns="http://www.w3.org/1999/xhtml" id="id699969"></a>
     16102                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459383"></a>
    1554816103                  <div class="header">Description:</div>
    1554916104                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1556716122              <div>
    1556816123                <div class="refsect1" lang="en" xml:lang="en">
    15569                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700024"></a>
     16124                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459439"></a>
    1557016125                  <div class="header">Description:</div>
    1557116126                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1559016145              <div>
    1559116146                <div class="refsect1" lang="en" xml:lang="en">
    15592                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700080"></a>
     16147                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459494"></a>
    1559316148                  <div class="header">Description:</div>
    1559416149                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1561216167              <div>
    1561316168                <div class="refsect1" lang="en" xml:lang="en">
    15614                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700136"></a>
     16169                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459550"></a>
    1561516170                  <div class="header">Description:</div>
    1561616171                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1563416189              <div>
    1563516190                <div class="refsect1" lang="en" xml:lang="en">
    15636                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700191"></a>
     16191                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459605"></a>
    1563716192                  <div class="header">Description:</div>
    1563816193                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1565816213              <div>
    1565916214                <div class="refsect1" lang="en" xml:lang="en">
    15660                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700250"></a>
     16215                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459664"></a>
    1566116216                  <div class="header">Description:</div>
    1566216217                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1570916264              <div>
    1571016265                <div class="refsect1" lang="en" xml:lang="en">
    15711                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700339"></a>
     16266                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459754"></a>
    1571216267                  <div class="header">Description:</div>
    1571316268                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1573616291              <div>
    1573716292                <div class="refsect1" lang="en" xml:lang="en">
    15738                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700397"></a>
     16293                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459811"></a>
    1573916294                  <div class="header">Description:</div>
    1574016295                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1578016335              <div>
    1578116336                <div class="refsect1" lang="en" xml:lang="en">
    15782                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700472"></a>
     16337                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459886"></a>
    1578316338                  <div class="header">Description:</div>
    1578416339                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1582716382              <div>
    1582816383                <div class="refsect1" lang="en" xml:lang="en">
    15829                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700559"></a>
     16384                  <a xmlns="http://www.w3.org/1999/xhtml" id="id459973"></a>
    1583016385                  <div class="header">Description:</div>
    1583116386                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1585116406              <div>
    1585216407                <div class="refsect1" lang="en" xml:lang="en">
    15853                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700615"></a>
     16408                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460029"></a>
    1585416409                  <div class="header">Description:</div>
    1585516410                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1590216457              <div>
    1590316458                <div class="refsect1" lang="en" xml:lang="en">
    15904                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700701"></a>
     16459                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460116"></a>
    1590516460                  <div class="header">Description:</div>
    1590616461                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1593116486              <div>
    1593216487                <div class="refsect1" lang="en" xml:lang="en">
    15933                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700760"></a>
     16488                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460174"></a>
    1593416489                  <div class="header">Description:</div>
    1593516490                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1595116506              <div>
    1595216507                <div class="refsect1" lang="en" xml:lang="en">
    15953                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700814"></a>
     16508                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460229"></a>
    1595416509                  <div class="header">Description:</div>
    1595516510                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1597516530              <div>
    1597616531                <div class="refsect1" lang="en" xml:lang="en">
    15977                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700870"></a>
     16532                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460285"></a>
    1597816533                  <div class="header">Description:</div>
    1597916534                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1599516550              <div>
    1599616551                <div class="refsect1" lang="en" xml:lang="en">
    15997                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700925"></a>
     16552                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460340"></a>
    1599816553                  <div class="header">Description:</div>
    1599916554                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1601916574              <div>
    1602016575                <div class="refsect1" lang="en" xml:lang="en">
    16021                   <a xmlns="http://www.w3.org/1999/xhtml" id="id700982"></a>
     16576                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460396"></a>
    1602216577                  <div class="header">Description:</div>
    1602316578                  <p xmlns="http://www.w3.org/1999/xhtml">
    16024 This deletes all characters on either side of mark with a Space attribute (see section 9.5)
    16025 of 1.
     16579This deletes all characters on either side of mark with a Space attribute (see <a class="link" href="#SystemDefinedCharacterAttributes" title="6.9.5. System Defined Character Attributes">System Defined Character Attributes</a>) of 1.
    1602616580                    </p>
    1602716581                </div>
     
    1606616620              <div>
    1606716621                <div class="refsect1" lang="en" xml:lang="en">
    16068                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701062"></a>
     16622                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460482"></a>
    1606916623                  <div class="header">Description:</div>
    1607016624                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1608616640              <div>
    1608716641                <div class="refsect1" lang="en" xml:lang="en">
    16088                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701116"></a>
     16642                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460536"></a>
    1608916643                  <div class="header">Description:</div>
    1609016644                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1610616660              <div>
    1610716661                <div class="refsect1" lang="en" xml:lang="en">
    16108                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701170"></a>
     16662                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460591"></a>
    1610916663                  <div class="header">Description:</div>
    1611016664                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1612616680              <div>
    1612716681                <div class="refsect1" lang="en" xml:lang="en">
    16128                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701225"></a>
     16682                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460645"></a>
    1612916683                  <div class="header">Description:</div>
    1613016684                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1614616700              <div>
    1614716701                <div class="refsect1" lang="en" xml:lang="en">
    16148                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701279"></a>
     16702                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460700"></a>
    1614916703                  <div class="header">Description:</div>
    1615016704                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1616616720              <div>
    1616716721                <div class="refsect1" lang="en" xml:lang="en">
    16168                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701334"></a>
     16722                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460754"></a>
    1616916723                  <div class="header">Description:</div>
    1617016724                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1620316757              <div>
    1620416758                <div class="refsect1" lang="en" xml:lang="en">
    16205                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701399"></a>
     16759                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460820"></a>
    1620616760                  <div class="header">Description:</div>
    1620716761                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1622816782              <div>
    1622916783                <div class="refsect1" lang="en" xml:lang="en">
    16230                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701456"></a>
     16784                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460876"></a>
    1623116785                  <div class="header">Description:</div>
    1623216786                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1625316807              <div>
    1625416808                <div class="refsect1" lang="en" xml:lang="en">
    16255                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701512"></a>
     16809                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460932"></a>
    1625616810                  <div class="header">Description:</div>
    1625716811                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1628116835              <div>
    1628216836                <div class="refsect1" lang="en" xml:lang="en">
    16283                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701570"></a>
     16837                  <a xmlns="http://www.w3.org/1999/xhtml" id="id460990"></a>
    1628416838                  <div class="header">Description:</div>
    1628516839                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1630616860              <div>
    1630716861                <div class="refsect1" lang="en" xml:lang="en">
    16308                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701626"></a>
     16862                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461046"></a>
    1630916863                  <div class="header">Description:</div>
    1631016864                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1632616880              <div>
    1632716881                <div class="refsect1" lang="en" xml:lang="en">
    16328                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701680"></a>
     16882                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461101"></a>
    1632916883                  <div class="header">Description:</div>
    1633016884                  <p xmlns="http://www.w3.org/1999/xhtml">
    1633116885These return, respectively, whether mark is inside a top level form or
    1633216886at the beginning of a line immediately before a character whose Lisp
    16333 Syntax (see section 9.5) value is :opening-paren.
     16887Syntax (see <a class="link" href="#SystemDefinedCharacterAttributes" title="6.9.5. System Defined Character Attributes">System Defined Character Attributes</a>)
     16888value is :opening-paren.
    1633416889                    </p>
    1633516890                </div>
     
    1635016905              <div>
    1635116906                <div class="refsect1" lang="en" xml:lang="en">
    16352                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701736"></a>
     16907                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461163"></a>
    1635316908                  <div class="header">Description:</div>
    1635416909                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1637016925              <div>
    1637116926                <div class="refsect1" lang="en" xml:lang="en">
    16372                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701791"></a>
     16927                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461217"></a>
    1637316928                  <div class="header">Description:</div>
    1637416929                  <p xmlns="http://www.w3.org/1999/xhtml">
    1637516930Respectively, these move mark immediately past a character whose Lisp
    16376 Syntax (see section 9.5) value is :closing-paren or immediately before
     16931Syntax (see <a class="link" href="#SystemDefinedCharacterAttributes" title="6.9.5. System Defined Character Attributes">System Defined Character Attributes</a>)
     16932value is :closing-paren or immediately before
    1637716933a character whose Lisp Syntax value is :opening-paren.
    1637816934                    </p>
     
    1639416950              <div>
    1639516951                <div class="refsect1" lang="en" xml:lang="en">
    16396                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701846"></a>
     16952                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461279"></a>
    1639716953                  <div class="header">Description:</div>
    1639816954                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1641916975              <div>
    1642016976                <div class="refsect1" lang="en" xml:lang="en">
    16421                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701902"></a>
     16977                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461335"></a>
    1642216978                  <div class="header">Description:</div>
    1642316979                  <p xmlns="http://www.w3.org/1999/xhtml">
    1642416980This defines the function with name to have count special
    16425 arguments. indent-for-lisp, the value of Indent Function (see section
    16426 15.1) in Lisp mode, uses this to specially indent these arguments. For
     16981arguments. indent-for-lisp, the value of <a class="link" href="#hv_indent_function" title="Hemlock Variable Indent Function">Indent Function</a>
     16982in Lisp mode, uses this to specially indent these arguments. For
    1642716983example, do has two, with-open-file has one, etc. There are many of
    1642816984these defined by the system including definitions for special Hemlock
     
    1646117017              <div>
    1646217018                <div class="refsect1" lang="en" xml:lang="en">
    16463                   <a xmlns="http://www.w3.org/1999/xhtml" id="id701976"></a>
     17019                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461415"></a>
    1646417020                  <div class="header">Description:</div>
    1646517021                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1646917025direction, this returns mark, otherwise nil. This always moves mark. A
    1647017026word lies between two characters whose Word Delimiter attribute value
    16471 is 1 (see section 9.5).
     17027is 1 (see <a class="link" href="#SystemDefinedCharacterAttributes" title="6.9.5. System Defined Character Attributes">System Defined Character Attributes</a>).
    1647217028                    </p>
    1647317029                </div>
     
    1648817044              <div>
    1648917045                <div class="refsect1" lang="en" xml:lang="en">
    16490                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702034"></a>
     17046                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461478"></a>
    1649117047                  <div class="header">Description:</div>
    1649217048                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1651817074              <div>
    1651917075                <div class="refsect1" lang="en" xml:lang="en">
    16520                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702101"></a>
     17076                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461546"></a>
    1652117077                  <div class="header">Description:</div>
    1652217078                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1653817094              <div>
    1653917095                <div class="refsect1" lang="en" xml:lang="en">
    16540                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702157"></a>
     17096                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461601"></a>
    1654117097                  <div class="header">Description:</div>
    1654217098                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1655917115                    </p>
    1656017116                  <p xmlns="http://www.w3.org/1999/xhtml">
    16561 Prefix defaults to Fill Prefix (see section 15.5), and the right
     17117Prefix defaults to <a class="link" href="#hv_fill_prefix" title="Hemlock Variable Fill Prefix">Fill Prefix</a>, and the right
    1656217118prefix is necessary to correctly skip paragraphs. If prefix is
    1656317119non-nil, and a line begins with prefix, then the scanning process
     
    1660917165              <div>
    1661017166                <div class="refsect1" lang="en" xml:lang="en">
    16611                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702249"></a>
     17167                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461699"></a>
    1661217168                  <div class="header">Description:</div>
    1661317169                  <p xmlns="http://www.w3.org/1999/xhtml">
    1661417170This marks the next or current paragraph, setting mark1 to the
    16615 beginning and mark2 to the end. This uses Fill Prefix (see section
    16616 15.5). Mark1 is always on the first line of the paragraph, regardless
     17171beginning and mark2 to the end. This uses <a class="link" href="#hv_fill_prefix" title="Hemlock Variable Fill Prefix">Fill Prefix</a>.
     17172Mark1 is always on the first line of the paragraph, regardless
    1661717173of whether the previous line is blank. Mark2 is typically at the
    1661817174beginning of the line after the line the paragraph ends on, this
     
    1665217208optionally inserts a specified string at the beginning of each
    1665317209line. Also, it eliminates extra whitespace between lines and words,
    16654 but it knows two spaces follow sentences (see section 15.3).
     17210but it knows two spaces follow sentences.
    1665517211            </p>
    1665617212            <p>
     
    1666817224              <div>
    1666917225                <div class="refsect1" lang="en" xml:lang="en">
    16670                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702342"></a>
     17226                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461798"></a>
    1667117227                  <div class="header">Description:</div>
    1667217228                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1668817244              <div>
    1668917245                <div class="refsect1" lang="en" xml:lang="en">
    16690                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702396"></a>
     17246                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461852"></a>
    1669117247                  <div class="header">Description:</div>
    1669217248                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1671217268              <div>
    1671317269                <div class="refsect1" lang="en" xml:lang="en">
    16714                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702455"></a>
     17270                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461911"></a>
    1671517271                  <div class="header">Description:</div>
    1671617272                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1673617292              <div>
    1673717293                <div class="refsect1" lang="en" xml:lang="en">
    16738                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702515"></a>
     17294                  <a xmlns="http://www.w3.org/1999/xhtml" id="id461971"></a>
    1673917295                  <div class="header">Description:</div>
    1674017296                  <p xmlns="http://www.w3.org/1999/xhtml">
    16741 This finds paragraphs (see section 15.3) within region and fills them
     17297This finds paragraphs within region and fills them
    1674217298with fill-region. This ignores blank lines between paragraphs. Prefix
    1674317299and column default to Fill Prefix and Fill Column.
     
    1680317359              <div>
    1680417360                <div class="refsect1" lang="en" xml:lang="en">
    16805                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702614"></a>
     17361                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462070"></a>
    1680617362                  <div class="header">Description:</div>
    1680717363                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1683517391              <div>
    1683617392                <div class="refsect1" lang="en" xml:lang="en">
    16837                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702677"></a>
     17393                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462133"></a>
    1683817394                  <div class="header">Description:</div>
    1683917395                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1685817414              <div>
    1685917415                <div class="refsect1" lang="en" xml:lang="en">
    16860                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702732"></a>
     17416                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462188"></a>
    1686117417                  <div class="header">Description:</div>
    1686217418                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1688117437              <div>
    1688217438                <div class="refsect1" lang="en" xml:lang="en">
    16883                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702787"></a>
     17439                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462243"></a>
    1688417440                  <div class="header">Description:</div>
    1688517441                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1690117457              <div>
    1690217458                <div class="refsect1" lang="en" xml:lang="en">
    16903                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702841"></a>
     17459                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462297"></a>
    1690417460                  <div class="header">Description:</div>
    1690517461                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1692517481              <div>
    1692617482                <div class="refsect1" lang="en" xml:lang="en">
    16927                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702897"></a>
     17483                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462352"></a>
    1692817484                  <div class="header">Description:</div>
    1692917485                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1695417510              <div>
    1695517511                <div class="refsect1" lang="en" xml:lang="en">
    16956                   <a xmlns="http://www.w3.org/1999/xhtml" id="id702957"></a>
     17512                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462413"></a>
    1695717513                  <div class="header">Description:</div>
    1695817514                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1704317599              <div>
    1704417600                <div class="refsect1" lang="en" xml:lang="en">
    17045                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703147"></a>
     17601                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462602"></a>
    1704617602                  <div class="header">Description:</div>
    1704717603                  <p xmlns="http://www.w3.org/1999/xhtml"> </p>
     
    1706317619              <div>
    1706417620                <div class="refsect1" lang="en" xml:lang="en">
    17065                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703201"></a>
     17621                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462657"></a>
    1706617622                  <div class="header">Description:</div>
    1706717623                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1709317649              <div>
    1709417650                <div class="refsect1" lang="en" xml:lang="en">
    17095                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703263"></a>
     17651                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462719"></a>
    1709617652                  <div class="header">Description:</div>
    1709717653                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1711517671There are various purposes in an editor for which a ring of values can
    1711617672be used, so Hemlock provides a general ring buffer type. It is used
    17117 for maintaining a ring of killed regions (see section 4.3), a ring of
    17118 marks (see section 3.1), or a ring of command strings which various
     17673for maintaining a ring of  <a class="link" href="#KillRing" title="6.4.3. Kill Ring">killed regions</a>, a ring of
     17674<a class="link" href="#CurrentBuffer" title="6.3.1. The Current Buffer">marks</a>, or a ring of command strings which various
    1711917675modes and commands maintain as a history mechanism.
    1712017676            </p>
     
    1713317689              <div>
    1713417690                <div class="refsect1" lang="en" xml:lang="en">
    17135                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703340"></a>
     17691                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462807"></a>
    1713617692                  <div class="header">Description:</div>
    1713717693                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1715717713              <div>
    1715817714                <div class="refsect1" lang="en" xml:lang="en">
    17159                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703396"></a>
     17715                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462863"></a>
    1716017716                  <div class="header">Description:</div>
    1716117717                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1717917735              <div>
    1718017736                <div class="refsect1" lang="en" xml:lang="en">
    17181                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703450"></a>
     17737                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462917"></a>
    1718217738                  <div class="header">Description:</div>
    1718317739                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1720217758              <div>
    1720317759                <div class="refsect1" lang="en" xml:lang="en">
    17204                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703506"></a>
     17760                  <a xmlns="http://www.w3.org/1999/xhtml" id="id462973"></a>
    1720517761                  <div class="header">Description:</div>
    1720617762                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1722517781              <div>
    1722617782                <div class="refsect1" lang="en" xml:lang="en">
    17227                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703561"></a>
     17783                  <a xmlns="http://www.w3.org/1999/xhtml" id="id463028"></a>
    1722817784                  <div class="header">Description:</div>
    1722917785                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1724717803              <div>
    1724817804                <div class="refsect1" lang="en" xml:lang="en">
    17249                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703616"></a>
     17805                  <a xmlns="http://www.w3.org/1999/xhtml" id="id463083"></a>
    1725017806                  <div class="header">Description:</div>
    1725117807                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1727017826              <div>
    1727117827                <div class="refsect1" lang="en" xml:lang="en">
    17272                   <a xmlns="http://www.w3.org/1999/xhtml" id="id703672"></a>
     17828                  <a xmlns="http://www.w3.org/1999/xhtml" id="id463139"></a>
    1727317829                  <div class="header">Description:</div>
    1727417830                  <p xmlns="http://www.w3.org/1999/xhtml">
     
    1732517881              <p xmlns="http://www.w3.org/1999/xhtml">
    1732617882The canonical representation of editor input is a key-event
    17327 structure. Users can bind commands to keys (see section 1.3.1), which
     17883structure. Users can bind commands to keys, which
    1732817884are non-empty sequences of key-events. A key-event consists of
    1732917885an identifying token known as a keysym and a field of bits
     
    1739417950                <div>
    1739517951                  <div class="refsect1" lang="en" xml:lang="en">
    17396                     <a xmlns="http://www.w3.org/1999/xhtml" id="id703831"></a>
     17952                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463298"></a>
    1739717953                    <div class="header">Description:</div>
    1739817954                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1742717983                <div>
    1742817984                  <div class="refsect1" lang="en" xml:lang="en">
    17429                     <a xmlns="http://www.w3.org/1999/xhtml" id="id703895"></a>
     17985                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463362"></a>
    1743017986                    <div class="header">Description:</div>
    1743117987                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1745018006                <div>
    1745118007                  <div class="refsect1" lang="en" xml:lang="en">
    17452                     <a xmlns="http://www.w3.org/1999/xhtml" id="id703951"></a>
     18008                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463418"></a>
    1745318009                    <div class="header">Description:</div>
    1745418010                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1747518031                <div>
    1747618032                  <div class="refsect1" lang="en" xml:lang="en">
    17477                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704009"></a>
     18033                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463476"></a>
    1747818034                    <div class="header">Description:</div>
    1747918035                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1749818054                <div>
    1749918055                  <div class="refsect1" lang="en" xml:lang="en">
    17500                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704065"></a>
     18056                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463532"></a>
    1750118057                    <div class="header">Description:</div>
    1750218058                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1752118077                <div>
    1752218078                  <div class="refsect1" lang="en" xml:lang="en">
    17523                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704121"></a>
     18079                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463588"></a>
    1752418080                    <div class="header">Description:</div>
    1752518081                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1754418100                <div>
    1754518101                  <div class="refsect1" lang="en" xml:lang="en">
    17546                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704178"></a>
     18102                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463645"></a>
    1754718103                    <div class="header">Description:</div>
    1754818104                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1760718163                <div>
    1760818164                  <div class="refsect1" lang="en" xml:lang="en">
    17609                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704293"></a>
     18165                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463760"></a>
    1761018166                    <div class="header">Description:</div>
    1761118167                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1762918185                <div>
    1763018186                  <div class="refsect1" lang="en" xml:lang="en">
    17631                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704353"></a>
     18187                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463820"></a>
    1763218188                    <div class="header">Description:</div>
    1763318189                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1765318209                <div>
    1765418210                  <div class="refsect1" lang="en" xml:lang="en">
    17655                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704410"></a>
     18211                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463877"></a>
    1765618212                    <div class="header">Description:</div>
    1765718213                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1767718233                <div>
    1767818234                  <div class="refsect1" lang="en" xml:lang="en">
    17679                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704467"></a>
     18235                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463934"></a>
    1768018236                    <div class="header">Description:</div>
    1768118237                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1770018256                <div>
    1770118257                  <div class="refsect1" lang="en" xml:lang="en">
    17702                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704523"></a>
     18258                    <a xmlns="http://www.w3.org/1999/xhtml" id="id463990"></a>
    1770318259                    <div class="header">Description:</div>
    1770418260                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1772518281                <div>
    1772618282                  <div class="refsect1" lang="en" xml:lang="en">
    17727                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704581"></a>
     18283                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464048"></a>
    1772818284                    <div class="header">Description:</div>
    1772918285                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1774718303                <div>
    1774818304                  <div class="refsect1" lang="en" xml:lang="en">
    17749                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704637"></a>
     18305                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464104"></a>
    1775018306                    <div class="header">Description:</div>
    1775118307                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1776918325                <div>
    1777018326                  <div class="refsect1" lang="en" xml:lang="en">
    17771                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704692"></a>
     18327                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464159"></a>
    1777218328                    <div class="header">Description:</div>
    1777318329                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1779118347                <div>
    1779218348                  <div class="refsect1" lang="en" xml:lang="en">
    17793                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704748"></a>
     18349                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464215"></a>
    1779418350                    <div class="header">Description:</div>
    1779518351                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1781418370                <div>
    1781518371                  <div class="refsect1" lang="en" xml:lang="en">
    17816                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704805"></a>
     18372                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464272"></a>
    1781718373                    <div class="header">Description:</div>
    1781818374                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1784118397                <div>
    1784218398                  <div class="refsect1" lang="en" xml:lang="en">
    17843                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704864"></a>
     18399                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464330"></a>
    1784418400                    <div class="header">Description:</div>
    1784518401                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1786418420                <div>
    1786518421                  <div class="refsect1" lang="en" xml:lang="en">
    17866                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704924"></a>
     18422                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464391"></a>
    1786718423                    <div class="header">Description:</div>
    1786818424                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1789018446                <div>
    1789118447                  <div class="refsect1" lang="en" xml:lang="en">
    17892                     <a xmlns="http://www.w3.org/1999/xhtml" id="id704985"></a>
     18448                    <a xmlns="http://www.w3.org/1999/xhtml" id="id464452"></a>
    1789318449                    <div class="header">Description:</div>
    1789418450                    <p xmlns="http://www.w3.org/1999/xhtml">
     
    1793818494                <dt>
    1793918495                  <span class="sect2">
    17940                     <a href="#id651576">7.3.2.  As of August 2003:</a>
     18496                    <a href="#id386138">7.3.2.  As of August 2003:</a>
    1794118497                  </span>
    1794218498                </dt>
     
    1818918745              <div>
    1819018746                <div>
    18191                   <h3 class="title"><a id="id651576"></a>7.3.2.  As of August 2003:</h3>
     18747                  <h3 class="title"><a id="id386138"></a>7.3.2.  As of August 2003:</h3>
    1819218748                </div>
    1819318749              </div>
     
    1864119197            <div>
    1864219198              <div class="refsect1" lang="en" xml:lang="en">
    18643                 <a xmlns="http://www.w3.org/1999/xhtml" id="id669972"></a>
     19199                <a xmlns="http://www.w3.org/1999/xhtml" id="id417594"></a>
    1864419200                <div class="header">Values:</div>
    1864519201                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">result</span></i>---a list of all lisp processes (threads)
     
    1864719203              </div>
    1864819204              <div class="refsect1" lang="en" xml:lang="en">
    18649                 <a xmlns="http://www.w3.org/1999/xhtml" id="id669998"></a>
     19205                <a xmlns="http://www.w3.org/1999/xhtml" id="id417620"></a>
    1865019206                <div class="header">Description:</div>
    1865119207                <p xmlns="http://www.w3.org/1999/xhtml">Returns a list of all lisp processes (threads) known
     
    1865919215              </div>
    1866019216              <div class="refsect1" lang="en" xml:lang="en">
    18661                 <a xmlns="http://www.w3.org/1999/xhtml" id="id670013"></a>
     19217                <a xmlns="http://www.w3.org/1999/xhtml" id="id417635"></a>
    1866219218                <div class="header">See Also:</div>
    1866319219                <span xmlns="http://www.w3.org/1999/xhtml" class="simplelist">
     
    1868719243            <div>
    1868819244              <div class="refsect1" lang="en" xml:lang="en">
    18689                 <a xmlns="http://www.w3.org/1999/xhtml" id="id670082"></a>
     19245                <a xmlns="http://www.w3.org/1999/xhtml" id="id417704"></a>
    1869019246                <div class="header">Arguments and Values:</div>
    1869119247                <p><i><span xmlns="http://www.w3.org/1999/xhtml" class="term">name</span></i>---a string, used to identify the process.</p>
     
    1873019286              </div>
    1873119287              <div class="refsect1" lang="en" xml:lang="en">
    18732                 <a xmlns="http://www.w3.org/1999/xhtml" id="id670276"></a>
     19288                <a xmlns="http://www.w3.org/1999/xhtml" id="id417898"></a>
    1873319289                <div class="header">Description:</div>
    1873419290                <p xmlns="http://www.w3.org/1999/xhtml">Creates and returns a new lisp process (thread) with the