Is the difference between FreeMiNT 1.15.12 and 1.16a big enough to bump the version number for a new release to 2.0 ? I would choose 1.2 as version number for a new official release. Just a thought, I have no intention to make a big issue out of this. ;-) -- Martin Tarenskeen