[AWS] AdaCore AWS website related "bugs"

[Thomas Løcke]

Hey all,

The AWS version number behaves rather irregular on the AdaCore website.  :o)

At the URL http://libre.adacore.com/libre/tools/aws/ the latest AWS is
version 2.7.0

At the URL http://libre.adacore.com/libre/download2/ (unfold the AWS
item) the downloadable file is named aws-gpl-2.8.0-src.tgz.

At the URL http://www.adacore.com/wp-content/files/auto_update/aws-docs/aws.html
we're apparently at version 2.9.0

This discrepancy might send a confusing message to potential new users.

/Thomas