Dear forum, is it possible to turn off the colors of the help pages in the terminal (that is, when you type "?" at the "gap>" prompt) ?
(GAP 4.5.6 under Windows XP) _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
