lib(chr)

From: Heiko Lötzbeyer <loetzbey_at_informatik.tu-muenchen.de>
Date: Wed 27 Jun 2001 09:13:48 PM GMT
Message-ID: <3B3A4C8C.4A36FA30@in.tum.de> 
Dear Eclipse-Team,

I have a problem when using the CHR-library with the new version (5.2)
of eclipse. When
trying "lib(chr).", I always get the following error. 

calling an undefined procedure eclipse : gui_delayed_goals_handler(341,
[_2080|_2081]) in module sepia_kernel

With version 5.1 this did not happen. I am using a linux system with a
relatively new kernel(2.4.2).

Thanks for your help.

Heiko Lötzbeyer
Received on Wed Jun 27 20:13:52 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:08 PM GMT GMT