On Tue, 10 Aug 1999, Gilles Detillieux wrote:
> break something inadvertently. As far as I can tell, the only function
> of state 6 is to handle the character after the second '$' in something
> like $foo$bar or $foo$(bar), which I think a fallback to state 2 would
> accomplish. Any reason not to remove it?
I can't think of one. Your revisions look very nice, especially labelling
the cases.
-Geoff
------------------------------------
To unsubscribe from the htdig3-dev mailing list, send a message to
[EMAIL PROTECTED] containing the single word "unsubscribe" in
the SUBJECT of the message.
