> I'd prefer 5.10, but if you want 5.11, go ahead.
I don't like the standard that makes version 5.11
later than 5.9 It would be nice sometimes to be
able to write stuff like:
if maxima_version > 5.9 then ...
If it were up to me, I'd use integers for version
numbers. One advantage is that they print nicer than
floats (5.9 prints as 5.9000000000000004. Yeech).
Yeah lots of folks expect big changes with an
integer increment, but we don't have a measure
of what a big change means.
Barton