[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: uniqueMember will not search (ITS#2664)



Leif,

In addition to previous fixes, I have added a "pretty" routine to
ensure uniqueMember values conform to formal specifications.

Please test HEAD.  Thanks, Kurt