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


Diff of /doc/html/using_pyke/creating_engine.html [7b73a1] .. [c3939a] Maximize Restore

  Switch to side-by-side view

--- a/doc/html/using_pyke/creating_engine.html
+++ b/doc/html/using_pyke/creating_engine.html
@@ -200,7 +200,8 @@
 <div class="right-item"><a href="proving_goals.html">Proving Goals</a><p>Using Pyke's API to prove goals from your Python program.</p>
 <div class="right-item"><a href="other_functions.html">Other Functions</a><p>Other miscellaneous functions available that you might be interested
+in, such as tracing rules and smart error tracebacks that show lines
+from your .krb files.</p>