From: Tom Tromey <[EMAIL PROTECTED]> Date: Tue, 1 Aug 2006 10:51:10 -0600
> Ito> I used find() and it hit end of input. But match() will NOT hit end > Ito> in that case. > > Ok. How about lookingAt? That's what Scanner currently uses. > But, that could also be wrong... it isn't actually working yet :-) Looking at /bbba+/ in "maude" does not hit end, either.
