[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


Moon's notes (mine were less complete) say there was disagreement about
which approach was worthwhile, so the committee will pursue option
REQUIRE-CONSISTENCY.  They will delete ``must ensure'' since that is in
general impossible.  People were asked to comment in mail (on the issue
of where SELECT-PACKAGE can go?).

This was deferred to next meeting.