[pypy-svn] r29044 - pypy/dist/pypy/doc

auc at codespeak.net auc at codespeak.net
Wed Jun 21 11:50:33 CEST 2006

Author: auc
Date: Wed Jun 21 11:50:29 2006
New Revision: 29044

small fixes

Modified: pypy/dist/pypy/doc/howto-logicobjspace-0.9.txt
--- pypy/dist/pypy/doc/howto-logicobjspace-0.9.txt	(original)
+++ pypy/dist/pypy/doc/howto-logicobjspace-0.9.txt	Wed Jun 21 11:50:29 2006
@@ -290,9 +290,10 @@
 call a "computation space". The notion of computation space is broad
 enough to encompass constraint and logic programming, but we use it
 there only as a box that holds the elements of our constraint
-satisfaction problem.
+satisfaction problem. Note that it is completely unrelated to the
+notion of object space (as in the logic object space).
-A problem is a one-argument procedure defined as follow::
+A problem is a one-argument procedure defined as follows::
   def simple_problem(cs):
       cs.var('x', FiniteDomain(['spam', 'egg', 'ham']))

More information about the Pypy-commit mailing list