[Python-checkins] r47226 - sandbox/trunk/Doc/functional.rst

[andrew.kuchling]

Author: andrew.kuchling
Date: Tue Jul  4 21:53:28 2006
New Revision: 47226

Modified:
   sandbox/trunk/Doc/functional.rst
Log:
Markup fixes

Modified: sandbox/trunk/Doc/functional.rst
==============================================================================
--- sandbox/trunk/Doc/functional.rst	(original)
+++ sandbox/trunk/Doc/functional.rst	Tue Jul  4 21:53:28 2006
@@ -121,8 +121,8 @@
 The technique used to prove programs correct is to write down 
 **invariants**, properties of the input data and of the program's 
 variables that are always true.  For each line of code, you then show 
-that if invariants X and Y are true ***before*** the line is executed, 
-the slightly different invariants X' and Y' are true ***after***
+that if invariants X and Y are true **before** the line is executed, 
+the slightly different invariants X' and Y' are true **after**
 the line is executed.  This continues until you reach the end of the
 program, at which point the invariants should match the desired 
 conditions on the program's output.
@@ -139,7 +139,7 @@
 you use daily (the Python interpreter, your XML parser, your web
 browser) could be proven correct.  Even if you wrote down or generated
 a proof, there would then be the question of verifying the proof;
-maybe there's an error in it, and you only ***think*** you've proved
+maybe there's an error in it, and you only think you've proved
 that the program correct.
 
 Modularity
@@ -388,7 +388,7 @@
 
 The ``for...in`` clauses contain the sequences to be iterated over.
 The sequences do not have to be the same length, because they are
-iterated over from left to right, ***not*** in parallel.  For each
+iterated over from left to right, **not** in parallel.  For each
 element in ``sequence1``, ``sequence2`` is looped over from the
 beginning.  ``sequence3``  is then looped over for each 
 resulting pair of elements from ``sequence1`` and ``sequence2``.
@@ -425,7 +425,7 @@
 To avoid introducing an ambiguity into Python's grammar, if
 ``expression`` is creating a tuple, it must be surrounded with
 parentheses.  The first list comprehension below is a syntax error,
-while the second one is correct:
+while the second one is correct::
 
     # Syntax error
     [ x,y for x in seq1 for y in seq2]