[m-rev.] for review: see/seen/tell/told

[Julien Fischer]

Hi Zoltan,

On Mon, 30 Aug 2021, Zoltan Somogyi wrote:

> Move see/seen/tell/told from io.m to prolog.m.

...

> diff --git a/NEWS b/NEWS
> index 996b7e1bd..e868191a7 100644
> --- a/NEWS
> +++ b/NEWS

...

> +### Changes to the `robdd` module
> +
> +* The following predicates have been added:
> +
> +    - pred `print_robdd/4`
> +    - pred `robdd_to_dot_stream/5`
> +
> +* The following predicates have had changes in their argument types:
> +
> +    - pred `robdd_to_dot/4`         (var_to_string instead of write_var)
> +    - pred `robdd_to_dot/5`         (var_to_string instead of write_var)

The robdd module is not in the publicly documented part of the standard library.
You do not need to list changes to it in this file.

The rest of the diff looks fine.

Julien.