All releases tagged Minor bugfixes
Release Notes: Only a few minor bugs were reported and fixed since rc2. Many files were touched due to spell checking of documentation and comments.
Release Notes: Only few minor bugs were reported since rc1, and all have been fixed. The major change is installation of HTML documentation in a new format, the same one that is also used for the newly designed Web site.
Release Notes: A number of bugfixes, a client/server system for faster startup, and an improved include file scanning implementation that makes it much easier to support new languages.
