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

Switch to side-by-side view

--- a/doc/html/using_pyke/index.html
+++ b/doc/html/using_pyke/index.html
@@ -219,7 +219,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>

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks