gcl-devel
[Top][All Lists]
Advanced

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

Re: [Gcl-devel] Re: ACL2 Version 4.0


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.



reply via email to

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