Add section about the old Nullness Rawness Checker

This section is referenced from in https://checkerframework.org/manual/#publications.
typetools · Aug 1, 2019 · c493a8d · c493a8d
1 parent 53fef97
commit c493a8d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/manual/external-checkers.tex b/docs/manual/external-checkers.tex
@@ -133,6 +133,12 @@
 to focus on distributing checkers that are currently being maintained.
 
 
+\sectionAndLabel{Nullness Rawness Checker}{initialization-rawness-checker}
+
+The Nullness Rawness Checker is a nullness checker that uses a different type system for initialization.
+It was distributed with the Checker Framework through release 2.9.0 (dated 3 July 2019). If you wish
+to use them, install \href{https://checkerframework.org/releases/2.9.0/}{Checker Framework version 2.9.0}.
+
 \sectionAndLabel{Read Checker for CERT FIO08-J}{read-checker}
 
 CERT