Re: [Gcl-devel] Windows issues - reversion

[Matt Kaufmann]

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>>
   > 
=============================================================================