[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 18:07:08 +0200 |
Matt,
This used to work fine with your ftp ACL2 version based on gcl.2.5.0
I have tried to start ACL2 (based on the current "cvs" 5.2.3, that is maybe
unstable) in a regular DOS windows and it does fail after a control-c by
returning directly to the DOS prompt
Finally, I am not sure to have understood all the mails but somebody seems to
have suggested that the gc$ problem was related to a missing parameter
Thanks everybody for the time you are spending
Otherhere, is Friday 18h, I think I am going to go back home
Have a good weekend
Regards,
Jacques
PS: Xemacs does need control-c control-c but this is normal
Matt Kaufmann wrote:
> Jacques --
>
> I have a vague recollection of having a problem with Control-C on windows
> using
> emacs. Have you tried Control-C without an emacs or xemacs interface?
>
> -- Matt
> Date: Fri, 19 Sep 2003 17:44:04 +0200
> From: Jacques Mequin <address@hidden>
> Organization: JSM software infrastructure, Texas Instruments France (Nice)
> X-Accept-Language: en
> CC: Mike Thomas <address@hidden>,
> Matt Kaufmann <address@hidden>, address@hidden,
> Jacques Mequin <address@hidden>
> Content-Type: text/plain; charset=us-ascii
>
> 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] Windows issues - reversion, (continued)
- 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, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion, Matt Kaufmann, 2003/09/19
- Re: [Gcl-devel] Windows issues - reversion,
Jacques Mequin <=
- 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