C-libraries and Control-C

Koen Claessen koen@cs.chalmers.se
Fri, 13 Oct 2000 17:51:24 +0200 (MET DST)

Hi all,

I have linked a C-library to Hugs (I used H/Direct).

What I want is that some cleaning up of the C-libraries
state is done when the user presses control-C. Is there
any way to specify this without recompiling Hugs?


Koen Claessen         http://www.cs.chalmers.se/~koen     
phone:+46-31-772 5424      mailto:koen@cs.chalmers.se
Chalmers University of Technology, Gothenburg, Sweden