#lang setup/infotab (define name "User Script Plugin") (define drracket-names '("Script Plugin")) (define drracket-tools '("tool.rkt")) (define scribblings '(("manual.scrbl"))) (define blurb '("DrRacket plugin to enable easy user scripting for the definition window. Similar to GEdit External Tools.")) (define required-core-version "5.0") (define repositories '("4.x")) (define categories '(devtools)) (define can-be-loaded-with 'none) (define primary-file "tool.rkt") (define version "0.2") (define release-notes '((ul (li "Added \"optional\" keywords to called functions (see doc).") )))