This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
On http://www.w3.org/Amaya/User/BinDist.html Under heading "Getting the binary distribution" Second paragraph: "Please note that it is preferable to uninstall a previous version of Amaya before to install a new one." Should be "Please note that it is preferable to uninstall a previous version of Amaya before installing a new one."
Thanks