Hello,
I'm looking for a way to speed up GAP loading. How can I do this? Or how can I minimize my workspace file?I'm assuming that unloading certain packages and components might help, but I'm not sure how to do that. Should I just move them out of the `pkg` directory?
Thanks! Vlad. _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum