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 @@
.class
file. The tools support both Java 5
declaration annotations and Java 8 type annotations.
-Last updated: 1 Jul 2015 +Last updated: 4 Aug 2015