Abstract: A number of tools are available to software developers to check consistency of source code during software evolution. However, none of these tools checks for consistency of the documentation ...