diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index a2d441cf386..1dd1bac3a8d 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.26.0.zip - (3 Oct 2022); + Download: checker-framework-3.26.0-eisop1.zip + (13 Oct 2022); 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.