Date: Tue, 07 Dec 2004 16:04:02 -0600
From: "David L. Rager"
Subject: ACL2: Meeting 12-08-2004 -- pretty printing and formula hiding


Hello All,

This is just a quick reminder that there will be an ACL2 meeting 
tomorrow, Wednesday at 4 pm in ACES 6.442.

I'll be talking about pretty printing in general, term highlighting, and 
term hiding. While we've discussed term highlighting before, this will 
be the first time term hiding with the option to unhide terms will be 
done in the ACL2 community. There will be a patch released during the 
meeting that allows the user to actually use term hiding in an 
emacs/xemacs environment.

Depending upon time, I may also talk a little bit about modeling 
security key-establishment protocols, using JFKr as an example.

Hope to see you there,
David