[m-users.] parse_token_list

[Julien Fischer]

Hi Volker,

On Sat, 14 Mar 2020, Volker Wysk wrote:

> In the library reference manual, in the part about the parser library,
> it is written: "The parse_token_list predicate is similar, but it takes
> a list of tokens rather than a string."
>
> But this is the only place where "parse_token_list" is mentioned, in
> the library reference manual...

Thanks for pointing that out!  As you noted in your other mail, the
predicate is (and always has been) called parse_tokens.

(Interestingly, the developer who originally added also called it
parse_token_list in the commit message for the commit that added it ...)

Julien.