acl2 autobuild

[Camm Maguire]

... has been running for quite a while now -- is it stuck?

Take care,
-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah