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

[Mike Thomas]

| The current one can be
| obtained by way of
| the installation instructions from the ACL2 home page, or directly at:
|
| ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/acl2-sources/books/wo
| rkshops.tar.gz

Woops.  Thanks for that, Matt.


| I'm really delighted and grateful that ACL2 is used in the GCL
| testing process.

Not a problem - if GCL doesn't compile our client code (modulo
standardisation) then we're wasting our time at our end!

| Testing the workshops books is icing on the cake, and may not add
| enough to be
| worth your trouble.  (But since there _was_ an error, I'm glad we
| tracked it
| down.)  Anyhow, I'm a little surprised actually that there weren't massive
| failures using the old workshops/.

I'll let you know how it goes, perhaps this afternoon Australian time.

Cheers

Mike Thomas.