Just one more question: is .zoo a somehow preferred way of archiving for GAP people? And why so if .tar.bz2 is so evidently better?
Igor _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
