[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] P.S. on one more Debian/ACL2 issue,
Matt Kaufmann <=