> > However, I've posted a pull request to update the website with the new > location of the GAP mode which Dima supplied; see < > https://github.com/gap-system/GapWWW/pull/205>. > Thank you, this is what I had in mind.
Mathieu _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
