[Top][All Lists]

[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]