13 Oct
2000
13 Oct
'00
9:21 p.m.
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? Thanks, Koen. -- Koen Claessen http://www.cs.chalmers.se/~koen phone:+46-31-772 5424 mailto:koen@cs.chalmers.se ----------------------------------------------------- Chalmers University of Technology, Gothenburg, Sweden