[Top][All Lists]

[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: Tue, 15 Jun 2004 09:18:43 +1000

Hi Camm.

| Greetings!  I'm a bit confused here -- do we post that mingw passes
| the acl2 books certify test or not?  We just are using 'make
| certify-books-fresh' for this purpose, i.e. no workshops.  Please
| advise.

Call it a pass as it is workshop code and Matt seems not to be too worried
or, best of all, add a footnote if you can be bothered.


Mike Thomas

reply via email to

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