Update the user manual section on debugging for recent improvements

manuals/index.html

@@ -43,7 +43,7 @@ <h1>Logtalk 3 Documentation</h1>
 <div class="footer">
 	<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>August 21, 2014</span>
+		<span>August 22, 2014</span>
 	</div>
 	<div class="navbottom">
 		<span>Updated for version 3.00.0 Release Candidate 1</span><br/>

manuals/userman/index.html

@@ -338,7 +338,7 @@ <h2><a id="migration" href="migration.html">Prolog Integration and Migration Gui
 <div class="footer">
 	<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: August 19, 2014</span>
+		<span>Last updated on: August 22, 2014</span>
 	</div>
 	<div class="navbottom">
 		<span><a href="../glossary.html">glossary</a></span><br/>

manuals/userman/programming.html

@@ -436,6 +436,9 @@ <h3 id="programming_boxmodel">Logtalk Procedure Box model</h3>
 		<dd>failure of a predicate call</dd>
 </dl>
 <p>
+When tracing execution, the Logtalk debugger provides determinism information by prefixing the exit port with an asterisk when a call succeeds with choice-points pending.
+</p>
+<p>
 Logtalk, as found on some recent Prolog compilers, adds a port for dealing with exceptions thrown when calling a predicate:
 </p>
 <dl>
@@ -477,6 +480,9 @@ <h3 id="programming_boxmodel">Logtalk Procedure Box model</h3>
 	<dt><code>full</code></dt>
 		<dd><code>[fact, rule, call, exit, redo, fail, exception]</code></dd>
 </dl>
+<p>
+By default, the debugger pauses at every port for user interaction.
+</p>
 
 <h3>Defining spy points<a id="programming_spypoints"></a></h3>
 
@@ -745,7 +751,7 @@ <h3 id="programming_dcgs">Debugging grammar rules</h3>
 <div class="footer">
 	<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: August 11, 2014</span>
+		<span>Last updated on: August 22, 2014</span>
 	</div>
 	<div class="navbottom">
 		<span><a href="installing.html">previous</a> | <a href="../glossary.html">glossary</a> | <a href="migration.html">next</a></span><br/>

manuals/userman/userman.header

@@ -48,7 +48,7 @@
 		<br/>
 		<span>http://logtalk.org/</span>
 	</p>
-	<p class="date">August 19, 2014</p>
+	<p class="date">August 22, 2014</p>
 	<p class="date">Updated for version 3.00.0 Release Candidate 1</p>
 </div>