From kaufmann Mon Feb 13 13:35:04 -0600 2006 From: Matt Kaufmann To: acl2-mtg@lists.cc.utexas.edu Subject: This Week in ACL2: Helpful Hints for ACL2 Usage Hi -- This Wednesday' ACL2 seminar will be at the usual time and place: 4:00-5:45 pm in ACES 3.116. I will lead a discussion on useful features of ACL2, starting with a demo of the proof-tree and proof-checker utilities. Beyond that demo, I have some other topics in mind (emacs support, distributed books, documentation, break-rewrite, and managing output). But I'm open to expanding or shrinking this list. Feel free to send me suggestions for topics for me to prepare, and feel free to ask questions and make comments during the seminar! -- Matt