[m-rev.] for review: delete obsolete predicates in term.m

Julien Fischer jfischer at opturion.com
Fri Oct 30 19:02:23 AEDT 2020


On Fri, 30 Oct 2020, Zoltan Somogyi wrote:

> For review of the idea, since the diff is trivial. All the predicates
> being deleted had obsolete pragmas on them since Jan 2020.

That's fine.

Julien.


More information about the reviews mailing list