Re: push parser implemenation

[Akim Demaille]

>>> "Paul" == Paul Eggert <address@hidden> writes:

 >> 6. Documentation
 >> New chapter?

 > You've saved the hardest part for last.  :-)

 > I don't think it should be a new chapter; the text needs to be
 > interspersed when needed.  You can start looking for areas by seeing
 > where the existing documentation talks about pure parsers.

Agreed.  As I view things, this is merely a new feature of
(eventually) all the parsers.