From aebd620f951fcdc5d6b32fe7c61f2a05147b850e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 10 Sep 2013 10:46:12 -0500 Subject: [PATCH] tool => plugin --- .../drracket/scribblings/drracket/extending.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/scribblings/drracket/extending.scrbl b/pkgs/drracket-pkgs/drracket/scribblings/drracket/extending.scrbl index fbc1d00073..4c8017e38d 100644 --- a/pkgs/drracket-pkgs/drracket/scribblings/drracket/extending.scrbl +++ b/pkgs/drracket-pkgs/drracket/scribblings/drracket/extending.scrbl @@ -23,10 +23,10 @@ DrRacket supports two forms of extension to the programming See @secref["teachpacks"] for information in creating teachpacks.} -@item{A @deftech{tool} extends the set of utilities within the +@item{A @deftech{plugin} extends the set of utilities within the DrRacket environment. For example, DrRacket's @onscreen{Check - Syntax} button starts a syntax-checking tool. For information on - creating @tech{tools}, see @other-manual['(lib + Syntax} button starts a syntax-checking plugin. For information on + creating @tech{plugin}s, see @other-manual['(lib "scribblings/tools/tools.scrbl")].} ]