Dear GAP creators/maintainers, It somehow so happens that we are using the undocumented command AddDictionary, probably written by one of us from intuition and in analogy with other programming languages. Can you tell me whether this command is going to work the same way in your future release(s)?
Best regards, Igor _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
