|
From: | Matt Kaufmann |
Subject: | Re: [Gcl-devel] Re: ACL2 Version 4.0 |
Date: | Tue, 27 Jul 2010 12:16:03 -0500 |
P.S. I think the "HARD ACL2 ERROR in CBD" problem will go away once we solve the basic problem related to pathname-device, as I described in my preceding email.
[Prev in Thread] | Current Thread | [Next in Thread] |