diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html index c1a709445..72b75fd5a 100644 --- a/annotation-file-utilities/annotation-file-utilities.html +++ b/annotation-file-utilities/annotation-file-utilities.html @@ -135,13 +135,13 @@

Installation

The current release is Annotation File Utilities version -3.9.5, 03 Feb 2020. +3.9.6, 02 Mar 2020.

  1. Download - annotation-tools-3.9.5.zip. + annotation-tools-3.9.6.zip.
  2. @@ -151,7 +151,7 @@

    Installation

    (You will typically make annotation-tools/ a sibling of checker-framework/.) -
    unzip annotation-tools-3.9.5.zip
    +
    unzip annotation-tools-3.9.6.zip