Date: Tue, 21 Sep 2004 09:06:53 -0500
From: Jared Davis
Subject: ACL2 Meeting


Hi,

At this week's meeting I'll be presenting some work on extending the
ACL2 user interface.

               "Abettor Interfacing System for ACL2"

Abettor is a client/server framework for simultaneously connecting 
multiple external tools to an ACL2 session.  Tools can issue commands to 
the session and process ACL2's responses via communication over sockets,
and thus can be written in languages other than Lisp and ACL2.

I'll begin by showing you a "first stab" at creating an integrated 
development environment for ACL2 in Java.  I'll demonstrate some 
preliminary graphical tools developed towards this purpose, and I'll 
also show you how these tools can be used from within Emacs.

After these demos, I'd like to talk about how this work might be useful
for "really improving" the ACL2 user interface.  I'll mention a few
ideas I have in this regard, but mainly I'm interested in seeing what 
the group has to say.

Hope to see you there,

     Jared


P.S., If anyone would like to present some work in the near future, 
please let me know.