I note that gap4r5p6_2012_11_04-18_46 has been released.
The previous release was gap4r5p6_2012_09_16-01_02 and the one before gap4r5p5_2012_07_16-17_17.
What should I deduce from the fact that the latest release wasn't called gap4r5p7_2012_11_04-18_46 (...p7_...) ?
-- Dr. Andrew C. Aitchison Computer Officer, DPMMS, Cambridge a.c.aitchi...@dpmms.cam.ac.uk http://www.dpmms.cam.ac.uk/~werdna _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum