Diff of /doc/source/using_pyke/other_functions.txt [091dea] .. [7f004f] Maximize Restore

  Switch to unified view

a/doc/source/using_pyke/other_functions.txt b/doc/source/using_pyke/other_functions.txt
...
...
128
        return goal.compile(goal_str).prove_1(self, **args)
128
        return goal.compile(goal_str).prove_1(self, **args)
129
      File "...goal.py", line 47, in prove_1
129
      File "...goal.py", line 47, in prove_1
130
        return iter(it).next()
130
        return iter(it).next()
131
      File "...rule_base.py", line 50, in next
131
      File "...rule_base.py", line 50, in next
132
        return self.iterator.next()
132
        return self.iterator.next()
133
      File "...knowledge_engine.py", line 41, in from_iterable
134
        for x in iterable: yield x
135
      File "...knowledge_engine.py", line 41, in from_iterable
136
        for x in iterable: yield x
137
      File "...error_test.krb", line 26, in rule1
133
      File "...error_test.krb", line 26, in rule1
138
        goal2()
134
        goal2()
139
      File "...error_test.krb", line 31, in rule2
135
      File "...error_test.krb", line 31, in rule2
140
        goal3()
136
        goal3()
141
      File "...error_test.krb", line 36, in rule3
137
      File "...error_test.krb", line 36, in rule3