diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt
index 178a0347..7c787b9d 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt
@@ -1,3 +1,6 @@
+6.0.1
+- Generate more optimized contracts
+- Filters work better outside of if
 6.0
 - Support for `define-type', `struct:', `make-predicate', etc. at the REPL
 - Performance work: optimized subtyping