[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] P.S. on one more Debian/ACL2 issue

From: Matt Kaufmann
Subject: [Gcl-devel] P.S. on one more Debian/ACL2 issue
Date: Tue, 11 Nov 2003 21:21:59 -0600

P.S. By the way, I'm wondering now if I wouldn't see that error even if I had
installed everything "properly".  So I suggest that you start up ACL2 from a
proposed Debian release (preferably on a machine other than where it was built)
and try

(include-book "/usr/share/acl2-2.7/books/arithmetic/top")

and see if that works.

-- Matt

reply via email to

[Prev in Thread] Current Thread [Next in Thread]