[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Windows issues - reversion
From: |
Jacques Mequin |
Subject: |
Re: [Gcl-devel] Windows issues - reversion |
Date: |
Fri, 19 Sep 2003 17:44:04 +0200 |
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>>
> =============================================================================
- RE: [Gcl-devel] Re: Windows issues, (continued)
- RE: [Gcl-devel] Windows issues, Mike Thomas, 2003/09/18
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/18
- Re: [Gcl-devel] Windows issues - reversion, Jacques Mequin, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/21
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/24
- RE: [Gcl-devel] Windows issues - reversion, Mike Thomas, 2003/09/24
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion,
Jacques Mequin <=
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Jacques Mequin, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- [Gcl-devel] GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/21
- [Gcl-devel] Re: GCL ACL2 - gc$ and contrl-C, Matt Kaufmann, 2003/09/21
- [Gcl-devel] Re: GCL ACL2 - gc$ and contrl-C, Jacques Mequin, 2003/09/22
- [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/22
- Re: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Camm Maguire, 2003/09/24
- RE: [Gcl-devel] RE: GCL ACL2 - gc$ and contrl-C, Mike Thomas, 2003/09/24
- Re: [Gcl-devel] Windows issues - reversion, Camm Maguire, 2003/09/19