info.rkt
#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")))