Re: IMAPEXT prepared for shutdown

[Arnt Gulbrandsen <arnt@xxxxxxxx>]

Pete Resnick wrote:
> Our last RFC has posted, and I judge no energy left (at least in this 
> group at this time) to go forward with ACL2, so I am hereby requesting 
> the shutdown of the Internet Message Access Protocol Extension Working 
> Group. We can leave the mailing list alive.

I suppose this means Mark blocked ACL2 for long enough to make the block 
 effectively permanent. I don't mind as a practical matter (ACL does 
most of what I need), but somehow I don't like it.

1 2 3 4 5 6 7 8 10 11 12 13 14 15 ∞. Small values of infinity suck, even 
when they don't hurt very much in practice.

Arnt