> Here we will not have cases where some repetitions are logarithmic, and
> some (like for R) are not. I guess that makes sense, but I can see it
> potentially being confusing.
Yeah, I chewed on that too, but I don't see a better solution. The semantics
of repeated R are different, too (per the recent $history thread, it entails
differing sequence numbers), so I think once that's the case, then it's
not all that much more confusing if the significance of a repetition has
different semantics too.
Vern
_______________________________________________
bro-dev mailing list
[email protected]
http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev
