Shash,

> I deleted my checkin email already, but you can get them from the
> archive here:
> http://sourceforge.net/mailarchive/forum.php?forum_id=12030
>
Yes. And there are some strange things I didn't really understand (you
removed some files I'm "sure" I did the job already...)

Thanks to have cleaned my mess!

> Actually, the CVS notification list is a great list to subscribe to
> for committers: http://lists.sourceforge.net/lists/listinfo/keel-cvs
>
Done.

Pierre


http://keelframework.org/documentation.shtml
Keelgroup mailing list
Keelgroup@list...
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com