From f18cc73dece4331a8c71fa2e3de64174d9242847 Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@racket-lang.org>
Date: Mon, 30 Nov 2009 16:51:53 +0000
Subject: [PATCH] stop the world and let me get off

svn: r17110
---
 collects/teachpack/2htdp/scribblings/universe.scrbl | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/collects/teachpack/2htdp/scribblings/universe.scrbl b/collects/teachpack/2htdp/scribblings/universe.scrbl
index be34e073f1..a68c4667b5 100644
--- a/collects/teachpack/2htdp/scribblings/universe.scrbl
+++ b/collects/teachpack/2htdp/scribblings/universe.scrbl
@@ -443,6 +443,16 @@ All @tech{MouseEvent}s are represented via strings:
 
 @item{
 
+@defproc[(STOP! [w (unsyntax @tech{WorldState})]) boolean?]{signals to
+DrScheme that the current world program should shut down. That is, any
+handler may return @scheme[(STOP! w)] provided @scheme[w] is a
+@tech{WorldState}. If it does, the state of the world becomes @scheme[w]
+but @scheme[big-bang] will close down all event handling.}
+
+}
+
+@item{
+
 @defform[(check-with world-expr?)
          #:contracts
          ([world-expr? (-> Any boolean?)])]{