Changeset 4427 for trunk/manuals

Show
Ignore:
Timestamp:
08/16/08 13:28:18 (5 months ago)
Author:
pmoura
Message:

Simplified the implementation of the Logtalk built-in debugger. Changed the implementation of the debugger abort command to use the de-facto standard Prolog built-in predicate abort/0. Corrected a bug that prevented the use of the command ignore at the redo port.

Location:
trunk/manuals
Files:
3 modified

Legend:

Unmodified
Added
Removed
  • trunk/manuals/index.html

    r4412 r4427  
    3232    <div class="copyright"> 
    3333        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    34         <span>Last updated on: July 31, 2008</span> 
     34        <span>Last updated on: August 16, 2008</span> 
    3535    </div> 
    3636    <div class="navbottom"> 
  • trunk/manuals/userman/index.html

    r4389 r4427  
    304304    <div class="copyright"> 
    305305        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
    306         <span>Last updated on: July 20, 2008</span> 
     306        <span>Last updated on: August 16, 2008</span> 
    307307    </div> 
    308308    <div class="navbottom"> 
  • trunk/manuals/userman/running.html

    r4393 r4427  
    413413        <dd>ignores goal, assumes that it succeeded</dd> 
    414414    <dt><code>f</code> &mdash; fail</dt> 
    415         <dd>forces backtracking</dd> 
     415        <dd>forces backtracking; may also be used to convert an exception into a failure</dd> 
    416416    <dt><code>n</code> &mdash; nodebug</dt> 
    417417        <dd>turns off debugging</dd> 
     
    517517<div class="footer"> 
    518518    <div class="copyright"> 
    519         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    520         <span>Last updated on: July 20, 2008</span> 
     519        <span>Copyright &copy; August 16, 2008</span> 
    521520    </div> 
    522521    <div class="navbottom">