diff --git a/build-common.properties b/build-common.properties index 4a4c105f9ac..d8d488275a3 100644 --- a/build-common.properties +++ b/build-common.properties @@ -3,7 +3,7 @@ ## This file is shared between all subprojects. # The Checker Framework version number -build.version = 1.9.3 +build.version = 1.9.4 # The location of the OpenJDK distribution to use; # must be a version that supports type annotations (JSR 308) diff --git a/checker/manual/checker-framework-webpage.html b/checker/manual/checker-framework-webpage.html index 1d6fb5668c7..160595ae353 100644 --- a/checker/manual/checker-framework-webpage.html +++ b/checker/manual/checker-framework-webpage.html @@ -36,7 +36,7 @@

The Checker Framework

  • Download: checker-framework.zip version - 1.9.3, 1 Jul 2015 + 1.9.4, 4 Aug 2015 (includes source, platform-independent binary, tests, and documentation)
    Then, see the installation @@ -114,7 +114,7 @@

    The Checker Framework

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