Changeset 4152

Show
Ignore:
Timestamp:
03/21/08 15:48:12 (10 months ago)
Author:
pmoura
Message:

Improved documentation of the built-in predicate threaded/1.

Location:
trunk/manuals
Files:
4 modified

Legend:

Unmodified
Added
Removed

  • trunk/manuals/index.html

    r4131 r4152  
    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: March 17, 2008</span> 
     34        <span>Last updated on: March 21, 2008</span> 
    3535    </div> 
    3636    <div class="navbottom"> 

  • trunk/manuals/refman/builtins/threaded1.html

    r3906 r4152  
    2929threaded(Disjunction)</pre> 
    3030<p> 
    31 Proves each goal in a conjunction (disjunction) of goals in its own thread. The argument can also be a conjunction (disjunction) of messages, either to <em>self</em> or to an explicit object. This predicate is deterministic and opaque to cuts. 
     31Proves each goal in a conjunction (disjunction) of goals in its own thread. The argument can also be a conjunction (disjunction) of messages, either to <em>self</em> or to an explicit object. This predicate is deterministic and opaque to cuts. The predicate argument is <strong>not</strong> flattened. 
    3232</p> 
    3333<p> 
    … …  
    7474    <div class="copyright"> 
    7575        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    76         <span>Last updated on: October 24, 2007</span> 
     76        <span>Last updated on: March 21, 2008</span> 
    7777    </div> 
    7878    <div class="navbottom"> 

  • trunk/manuals/refman/index.html

    r4131 r4152  
    319319    <div class="copyright"> 
    320320        <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/>  
    321         <span>Last updated on: March 17, 2008</span> 
     321        <span>Last updated on: March 21, 2008</span> 
    322322    </div> 
    323323    <div class="navbottom"> 

  • trunk/manuals/refman/refman.header

    r4131 r4152  
    3636        <span>http://logtalk.org/</span> 
    3737    </p> 
    38     <p class="date">Last updated on March 17, 2008</p> 
     38    <p class="date">Last updated on March 21, 2008</p> 
    3939</div> 
    4040