From 083cac5583332b43b69e66f520d12058ebe5134e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 12 Jan 2010 02:16:12 +0000 Subject: [PATCH] fix bignum expt (PR 10690); also fixed a doc typo svn: r17614 original commit: 331c6d2f5f66ac352c71307f0696dde8af4a0fa1 --- collects/scribblings/gui/timer-class.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/gui/timer-class.scrbl b/collects/scribblings/gui/timer-class.scrbl index 1592c93b..ced86374 100644 --- a/collects/scribblings/gui/timer-class.scrbl +++ b/collects/scribblings/gui/timer-class.scrbl @@ -22,7 +22,7 @@ See @secref["eventspaceinfo"] for more information about event priorities. -@defconstructor[([notify-callback (-> any) @scheme[void]] +@defconstructor[([notify-callback (-> any) void] [interval (or/c (integer-in 0 1000000000) false/c) #f] [just-once? any/c #f])]{