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

Reply via email to