[pypy-svn] r26458 - pypy/dist/pypy/doc/discussion

[arigo at codespeak.net]

Author: arigo
Date: Thu Apr 27 20:37:03 2006
New Revision: 26458

Modified:
   pypy/dist/pypy/doc/discussion/logic-plan.txt
Log:
Restification.


Modified: pypy/dist/pypy/doc/discussion/logic-plan.txt
==============================================================================
--- pypy/dist/pypy/doc/discussion/logic-plan.txt	(original)
+++ pypy/dist/pypy/doc/discussion/logic-plan.txt	Thu Apr 27 20:37:03 2006
@@ -37,7 +37,7 @@
 whose execution path contains a 'choice' is a logic, or relational (in
 Oz parlance) program.
 
-For instance :
+For instance::
 
  def foo():
      choice:
@@ -46,7 +46,7 @@
          from math import sqrt
          return sqrt(4)
 
-def bar():
+ def bar():
     choice: return 0 or: return 1
 
  def entry_point():
@@ -82,9 +82,9 @@
 space and ready to be later merged. We leave the semantics of space
 merging for another day.
 
-Pardon the silly ascii art :
+Pardon the silly ascii art::
 
-entry_point -> foo : choice
+ entry_point -> foo : choice
                        /\
                       /  \
                      /    2 (solution)
@@ -113,7 +113,7 @@
 choose()
 
 The choice operator can be written straightforwardly in terms of
-choose :
+choose::
 
  def foo():
      choice = choose(3)