[m-rev.] for review: stricter checks on mode and det declarations
jfischer at opturion.com
Tue Jan 12 21:03:17 AEDT 2016
On Tue, 12 Jan 2016, Zoltan Somogyi wrote:
> For review by Julien, since he proposed these changes.
> The diff requires a workaround for the declaration of "is"
> in library/int.m. I propose that we mark "is" as obsolete;
> it has LONG outlived its usefulness.
Agreed. I think you could probably get away with simply deleting
The diff looks fine.
More information about the reviews