[m-rev.] for review: add a "suggested replacement" arg to obsolete pragmas

[Julien Fischer]

Hi Zoltan,

On Sun, 8 Sep 2019, Zoltan Somogyi wrote:

> The main change in {Log,DIFF}.obs adds the optional new argument
> to obsolete pragmas. Once that diff reaches the rotds and is installed
> on each of our systems, the second diff can be committed.
>
> Note that the library has a bunch of old obsolete declarations.

Actually, I'm fairly sure that it doesn't have a bunch of them and that
the ones that are there are for things that are not scheduled to be
removed until *after* the next release.

> I propose that
>
> - for obsolete declarations that precede 14.01, we delete the
>  obsolete predicates;

I think the only remaining things in that category are for things
like promise_only_solution and friends.  (For that, and the others
in the builtin module we will be keeping them around for at least
a couple more releases.)

Julien.