#lang setup/infotab (define name "User Script Plugin") (define drracket-names '("Script Plugin")) (define drracket-tools '("tool.rkt")) (define blurb '("Plugin to enable user scripting of the definition window")) (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.1") (define release-notes '((p "First, alpha release")))