#lang setup/infotab

(define tools (list "tool.ss"))
(define tool-names (list "Version"))