diff --git a/typed-racket-compatibility/info.rkt b/typed-racket-compatibility/info.rkt
index ae6fd12c..9bf31840 100644
--- a/typed-racket-compatibility/info.rkt
+++ b/typed-racket-compatibility/info.rkt
@@ -11,4 +11,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
\ No newline at end of file
+(define version "1.3")
diff --git a/typed-racket-doc/info.rkt b/typed-racket-doc/info.rkt
index 1c65d048..7e2e6191 100644
--- a/typed-racket-doc/info.rkt
+++ b/typed-racket-doc/info.rkt
@@ -12,7 +12,7 @@
                      "at-exp-lib"
                      "scribble-lib"
                      "pict-lib"
-                     "typed-racket-lib"
+                     ("typed-racket-lib" #:version "1.3")
                      "typed-racket-compatibility"
                      "typed-racket-more"
                      "racket-doc"))
@@ -23,4 +23,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
\ No newline at end of file
+(define version "1.3")
diff --git a/typed-racket-doc/typed-racket/scribblings/reference/unsafe.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/unsafe.scrbl
index e614df34..a9649e6a 100644
--- a/typed-racket-doc/typed-racket/scribblings/reference/unsafe.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/reference/unsafe.scrbl
@@ -18,6 +18,8 @@ behavior and may even crash Typed Racket.
   Unlike @racket[require/typed], this form is unsafe and will not generate
   contracts that correspond to the specified types to check that the values
   actually match their types.
+
+  @history[#:added "1.3"]
 }
 
 @defform[(unsafe-provide provide-spec ...)]{
@@ -27,4 +29,6 @@ behavior and may even crash Typed Racket.
   Unlike @racket[provide], this form is unsafe and Typed Racket will not generate
   any contracts that correspond to the specified types. This means that uses of the
   exports in other modules may circumvent the type system's invariants.
+
+  @history[#:added "1.3"]
 }
diff --git a/typed-racket-lib/info.rkt b/typed-racket-lib/info.rkt
index 8fe5dfb2..07022d8b 100644
--- a/typed-racket-lib/info.rkt
+++ b/typed-racket-lib/info.rkt
@@ -12,4 +12,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
+(define version "1.3")
diff --git a/typed-racket-more/info.rkt b/typed-racket-more/info.rkt
index 8351c524..26207e5f 100644
--- a/typed-racket-more/info.rkt
+++ b/typed-racket-more/info.rkt
@@ -19,4 +19,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.2")
+(define version "1.3")
diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt
index a67b1f23..a1955c0d 100644
--- a/typed-racket-test/info.rkt
+++ b/typed-racket-test/info.rkt
@@ -4,7 +4,7 @@
 (define deps '("redex-lib"
                "sandbox-lib"
                ("base" #:version "6.2.900.16")
-               "typed-racket-lib"
+               ("typed-racket-lib" #:version "1.3")
                "typed-racket-more"
                "typed-racket-compatibility"
                "2d"
@@ -29,7 +29,7 @@
 
 (define pkg-authors '(samth stamourv endobson asumu))
 
-(define version "1.1")
+(define version "1.3")
 
 
 ;; Collection info
diff --git a/typed-racket/info.rkt b/typed-racket/info.rkt
index 6f050a9b..56c035f9 100644
--- a/typed-racket/info.rkt
+++ b/typed-racket/info.rkt
@@ -11,4 +11,4 @@
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
\ No newline at end of file
+(define version "1.3")