diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index 72556888670..51d40c9b9aa 100644 --- a/docs/checker-framework-webpage.html +++ b/docs/checker-framework-webpage.html @@ -30,8 +30,8 @@

The Checker Framework

Installation instructions and tutorial.
  • - Download: checker-framework-3.28.0.zip - (1 Dec 2022); + Download: checker-framework-3.29.0.zip + (5 Jan 2023); includes source, platform-independent binary, tests, and documentation.
    Then, see the installation @@ -93,7 +93,7 @@

    The Checker Framework

    the .class file. The tools support both Java 5 declaration annotations and Java 8 type annotations.