diff --git a/collects/typed-scheme/info.rkt b/collects/typed-scheme/info.rkt index 1d42db46..6360474d 100644 --- a/collects/typed-scheme/info.rkt +++ b/collects/typed-scheme/info.rkt @@ -2,3 +2,5 @@ (define scribblings '(("scribblings/ts-reference.scrbl" (multi-page) (language 4)) ("scribblings/ts-guide.scrbl" (multi-page) (language 5)))) +(define drracket-tools '(("optimizer/tool/tool.rkt"))) +(define drracket-tool-names '("Performance Report"))