RE: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C

[Mike Thomas]

Hi Camm.

| > Help is always appreciated as there is a distinct shortage of Windows
| > programmers prepared to work on this project and there is at least one
| > problem to which I have been unable to provide a solution for 
| many months.
| > 
| 
| ????  Inquiring minds would like to know ....

Tell those inquiring minds:

1. The ANSI build crash

2. The BFD problem.

Cheers

Mike Thomas.