> < ^ Date: 09 Feb 2000 13:02:01 +0100
< ^ From: Michael Leithold <leithold@extended.de >
< ^ Subject: Re: Memory ?

Dear Ines Abdeljaouad, hello gap-forum

Start gap with the -o command line option:
$ gap -o <how much memory for gap>
See gap -h for details.

Michael Leithold
--
Wenn jeder an sich denkt, dann ist an alle gedacht.


> < [top]