- 10/20/2004: I installed the newly released ACL2 version
2.9 and GCL 2.6.5. See the tools
page off of the class
Web page for details.
I scheduled the presentations. See the class Web page for details.
- Let me know if any of you have a problem with the
schedule & note that one Tuesday meeting has been
rescheduled to a Friday.
- Check the title of your presentation & get me the list of
papers to be read by the class.
Last modified: Wed Oct 20 15:00:30 EDT 2004