Re: Last work item - ACL2?

[Alexey Melnikov <alexey.melnikov@xxxxxxxxx>]

Pete Resnick wrote:

> Now that everything is in the RFC Editor Queue, officially we have one 
> last work item on our charter: ACL2. We and the IESG agreed that we 
> might decide to drop this or bring it to a new working group if we 
> thought it was going to be stuck.
>
> What say the group?

Our current milestones say:

May 2008 	   	New draft of ACL2 proposal which would *obsolete* existing 
ACL RFC
Jul 2008 	   	ACL2 to WG Last Call--note that if this milestone is not 
met we agreed to close the WG and defer ACL2 to another WG


Clearly the milestone in May 2008 was missed.

So, speaking as an individual contributor, I think this WG is done and 
we shouldn't do anything on ACL2.

If there are at least 3 other people who want to work on ACL2, I would 
be happy to revive the document and do it as an individual submission.