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

[andrew.kuchling]

Author: andrew.kuchling
Date: Tue Jul  4 21:55:35 2006
New Revision: 47228

Modified:
   sandbox/trunk/Doc/functional.rst
Log:
Wording fix

Modified: sandbox/trunk/Doc/functional.rst
==============================================================================
--- sandbox/trunk/Doc/functional.rst	(original)
+++ sandbox/trunk/Doc/functional.rst	Tue Jul  4 21:55:35 2006
@@ -139,8 +139,8 @@
 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
-that the program correct.
+maybe there's an error in it, and you wrongly believe you've proved
+the program correct.
 
 Modularity
 ''''''''''''''''''''''
@@ -1142,7 +1142,7 @@
 The author would like to thank the following people for offering
 suggestions, corrections and assistance with various drafts of this
 article: Ian Bicking, Nick Coghlan, Raymond Hettinger, Jim Jewett,
-Leandro Lameiro.
+Leandro Lameiro, Blake Winton.
 
 Version 0.1: posted June 30 2006.