From 0793021514ff8ca84df65a381a53ee303f4b9133 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Fri, 3 Apr 2015 18:45:38 -0400
Subject: [PATCH] History update for Typed Racket.

---
 typed-racket-lib/typed-racket/HISTORY.txt | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt
index 5c2073d1..ed0edfcc 100644
--- a/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/typed-racket-lib/typed-racket/HISTORY.txt
@@ -1,5 +1,12 @@
-(add1 6.1.1)
+(add1 6.2)
+- Startup time reduction
+6.2
+- Use submodules to avoid allocating contract wrappers when not needed.
+- Class types and contract generation are significantly improved, but still experimental.
+- Many types for GUI classes added.
+- Tests on let-bound variables now refine the type of what was bound to them.
 - DrRacket tooltips for types and type errors.
+- Types for a variety of libraries, including `rackunit` and `json`.
 6.1.1
 - Exception handling is now sound. Broke existing programs (e.g. marketplace).
 - More types for GUI and framework.