On 6/26/07, Vadim V. Zhytnikov wrote:
Ralf Hemmecke writes:
> ...
> Even more interesting. Since I see September 2006 on my banner
> (which is> --patch-50), that should probably be something > 3.6.
>
No, quarterly gold releases in 2005 was numbered 3.4 (April 2005),
3.6 (June 2005), 3.9 (October 2005). In 2006 this numbering
scheme was abolished.
Vadim, can you find any record of the decision to abolish this
numbering system? I tried to find some reference in the
axiom-developer archives but failed.