I have thought of this for a while now, but now I decided to put it into
ascii form...
Would it be possible to implement a "VCR Console" for GAP plugins?
I think it would be very useful and from what I understand it might
even be easy?
Something with [ | ] [
On Sun, Dec 12, 1999 at 01:47:11PM +0100, Sven Neumann wrote:
I have thought of this for a while now, but now I decided to put it into
ascii form...
Would it be possible to implement a "VCR Console" for GAP plugins?
I think it would be very useful and from what I understand