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

[Mike Thomas]

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.