From 7bd4ba9b11d8191d1f45455b7624d849895d475a Mon Sep 17 00:00:00 2001
From: Kevin Tew <tewk@racket-lang.org>
Date: Thu, 30 Jun 2011 15:52:18 -0600
Subject: [PATCH] place-dead-evt docs

---
 collects/scribblings/reference/places.scrbl | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/collects/scribblings/reference/places.scrbl b/collects/scribblings/reference/places.scrbl
index fe8df6ae4d..8b277815bc 100644
--- a/collects/scribblings/reference/places.scrbl
+++ b/collects/scribblings/reference/places.scrbl
@@ -209,3 +209,12 @@ messages:
 
 ]}
 
+@;------------------------------------------------------------------------
+@;@section[#:tag "placesync"]{Synchronizing Places}
+
+@defproc[(place-dead-evt [p place?]) evt?]{
+
+Returns a @tech{synchronizable event} (see @secref["sync"]) that is
+ready if and only if @racket[p] has terminated.
+
+@;------------------------------------------------------------------------