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

  Switch to side-by-side view

--- a/doc/html/using_pyke/other_functions.html
+++ b/doc/html/using_pyke/other_functions.html
@@ -220,7 +220,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>
@@ -239,7 +240,7 @@
   <div id="last-modified">
     Page last modified
-    Wed, Mar 10 2010.
+    Fri, Mar 12 2010.