Am 11.10.2015 um 20:29 schrieb Alexander Konovalov:
Just to check - have you recompiled both the GAP kernel and the Browse package in this case?
Thanks! I forgot to recompile Browse. Now it is working again.
Benjamin _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
