> 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 bro-dev@bro.org http://mailman.icsi.berkeley.edu/mailman/listinfo/bro-dev