Guido van Rossum fdfa2b5136 parsefile() now calls self.update() while filling the buffer, ... so you can read the top of the man page while the rest is being parsed		1994-07-08 09:14:54 +00:00
..
guido	parsefile() now calls self.update() while filling the buffer,	1994-07-08 09:14:54 +00:00