I wrote:
| For almost 4 years now I have been trying to solve the
| following problem (not really Hugs-specific, but very useful
| for Hugs users). This is a Unix specific problem.
Thanks for all the responses I have gotten, which made me
see the light :-) The problem is solved now.
Regards,
Koen.
--
Koen Claessen http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424 e-mail:[EMAIL PROTECTED]
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden
