Hi, On 29/08/14 12:16, Dima Pasechnik wrote: > On Fri, Aug 29, 2014 at 12:00:18PM +0200, Jerome BENOIT wrote: >> >> In fact I was looking for softly terminating a gap session by sending a >> signal: >> I guess that this kind a feature is not yet implemented. > > by the way, are you aware of libGAP (https://bitbucket.org/vbraun/libgap)?
No, but it is good to know. > It looks as if you try to have a way to control GAP from your application, > and having it as a shared library might help... Indeed, but here I need to work only with the GAP material as distributed by the GAP team. Thanks, Jerome > > just in case, > Dima >> >> Thanks, >> Jerome >> _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
