Re: [Gcl-devel] Windows issues - reversion

[Jacques Mequin]

Wonderful, this exactly what it supposed to do
I hope it will also work on win32

Regards,
    Jacques

Camm Maguire wrote:

> Greetings!
>
> BTW, I just tested the Control-C with my recent Linux build on top of
> 2.6.1:
>
> =============================================================================
>         (:TYPE-PRESCRIPTION EXPT-TYPE-PRESCRIPTION-NONZERO))
> Warnings:  None
> Time:  0.05 seconds (prove: 0.05, print: 0.00, other: 0.00)
> EXPONENTS-ADD-NEGATIVE-NEGATIVE
> 
>
> Error: Console interrupt.
> Fast links are on: do (si::use-fast-links nil) for debugging
> Error signalled by DEFTHM-FN.
> Broken at COND.  Type :H for Help.
> ACL2>>
> =============================================================================