#lang setup/infotab

(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 '("Optimization Coach"))
