Good eye, fixed. Otis
--- Paul <[EMAIL PROTECTED]> wrote: > Class Term, method compareTo: > "Compares two terms, returning an integer which is less than zero iff > this term belongs after the argument, (...) and greater than zero iff > this term belongs after the argument." > > two times "after the argument" :) > > Paul > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]