Thomas Charles CONWAY conway at
Tue Feb 18 11:51:43 AEDT 1997


The comments indicate that constraint.m is broken, and we should not use
--constraint-propagation. I have an error/1 call in the handling of
parallel conjunction goals.  Is there any likelyhood of constraint.m
being fixed any time in the forseeable future? If there is, then I'll
put something more sophisticated than the call to error.

Andrew? Anyone?

Thomas Conway               				      conway at
AD DEUM ET VINUM	  			      Every sword has two edges.

More information about the developers mailing list