gcl-devel
[Top][All Lists]
Advanced

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

RE: [Gcl-devel] 2.6.2.....


From: Mike Thomas
Subject: RE: [Gcl-devel] 2.6.2.....
Date: Wed, 9 Jun 2004 09:44:11 +1000

Hi Matt.

| I agree that the absence of a .cert file signifies that something is wrong
| (perhaps I'm stating it more strongly than you are).  Something apparently
| broke during the so-called "certification" of that file ("book" in ACL2
| parlance).
|
| -- Matt

Thanks for the advice.  I will have to leave this issue for a while.

Cheers

Mike Thomas.





reply via email to

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