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? pr -- Pete Resnick <http://www.qualcomm.com/~presnick/> Qualcomm Incorporated - Direct phone: (858)651-4478, Fax: (858)651-1102