Date: Mon, 04 Dec 2006 10:07:26 -0600
From: Sol Swords

Hi everyone,

This Wednesday's ACL2 meeting will be the last one for this semester.  
Matt Kaufmann will discuss highlights of the new ACL2 release (Version 
3.1). He plans to touch on about 20 of the approximately 50 changes in 
documentation topic NOTE-3-0-2.  The meeting will be in ACES 3.116 at 
4:00 as usual.

 - Sol