Re: mixed, named notation support

--On Mittwoch, August 05, 2009 05:28:55 +0200 Pavel Stehule
<pavel.stehule@gmail.com> wrote:

>> At least, we need to document that both notations behaves different in
>> this case.
>
> +1

Here again a patch version with updated documentation. I will stop
reviewing this patch now and mark this ready for committer, so we have some
time left to incorporate additional feedback.

--
  Thanks

                    Bernd