Changeset 4599 for trunk/manuals/index.html

Timestamp:

11/21/08 12:47:26 (7 weeks ago)

Author:

pmoura

Message:

Added an expand_goal/2 built-in method to support explicit calls to the goal_expansion/2 user-defined hook. Updated the term expansion mechanism to allow the expansion to be a single term instead of a list of terms. Improved the documentation of the term and goal expansion predicates.

Added syntax coloring support for the new expand_goal/2 method to the supported text editors and syntax highlighters.

Files:

• trunk/manuals/index.html (modified) (1 diff)

trunk/manuals/index.html

@@ -32 +32 @@
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: November 7, 2008</span>
+        <span>Last updated on: November 21, 2008</span>
     </div>
     <div class="navbottom">