Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Diff of /doc/html/logic_programming/plans.html [f23295] .. [9f7068] Maximize Restore

  Switch to side-by-side view

--- a/doc/html/logic_programming/plans.html
+++ b/doc/html/logic_programming/plans.html
@@ -81,7 +81,7 @@
 clause at the end of each <a class="reference external" href="rules/index.html">rule</a> in the <a class="reference external" href="../pyke_syntax/krb_syntax/index.html">.krb file</a>.  They don't affect how
 the <a class="reference external" href="rules/index.html">rules</a> run to prove a goal, but are
 gathered up to form a call graph that is returned along with the <a class="reference external" href="pattern_matching/pattern_variables.html">pattern
-variable</a> bindings that <a class="reference external" href="../using_pyke.html#proving-goals">prove</a> the top-level goal.</p>
+variable</a> bindings that <a class="reference external" href="../using_pyke/proving_goals.html">prove</a> the top-level goal.</p>
 </div>
 <div class="section" id="example">
 <h2>Example</h2>
@@ -188,7 +188,7 @@
 >>> import os
 >>> os.chdir("../../examples")
 >>> __file__ = os.getcwd() -->
-<p>The plan is created as a byproduct of <a class="reference external" href="../using_pyke.html#proving-goals">proving</a> the goal:</p>
+<p>The plan is created as a byproduct of <a class="reference external" href="../using_pyke/proving_goals.html">proving</a> the goal:</p>
 <blockquote>
 <pre class="doctest-block">
 &gt;&gt;&gt; from pyke import knowledge_engine