Changeset 4428 for trunk/manuals

Show
Ignore:
Timestamp:
08/17/08 08:13:48 (5 months ago)
Author:
pmoura
Message:

Minor documentation improvements.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/manuals/userman/running.html

    r4427 r4428  
    411411        <dd>skips debugging for the current goal; only meaningful at call and redo ports</dd> 
    412412    <dt><code>i</code> &mdash; ignore</dt> 
    413         <dd>ignores goal, assumes that it succeeded</dd> 
     413        <dd>ignores goal, assumes that it succeeded; only valid at call and redo ports</dd> 
    414414    <dt><code>f</code> &mdash; fail</dt> 
    415415        <dd>forces backtracking; may also be used to convert an exception into a failure</dd>