[m-dev.] for review: add promise_only_solution/1 to std_util.m

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Nov 6 12:32:10 AEDT 1998

Previous message: [m-dev.] for review: add promise_only_solution/1 to std_util.m
Next message: for review: add promise_only_solution/1 to builtin.m ;-)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> library/std_util.m:
> 	Add `promise_only_solution/1'.

I agree with Peter, this should go in builtin.m.

Zoltan.

Previous message: [m-dev.] for review: add promise_only_solution/1 to std_util.m
Next message: for review: add promise_only_solution/1 to builtin.m ;-)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the developers mailing list