(module info (lib "infotab.ss" "setup")
  (define name "EoPL")
  (define tools (list "eopl-tool.ss"))
  (define tool-icons (list '("eopl-small.gif" "eopl")))
  (define tool-names (list "Essentials of Programming Languages"))
  (define tool-urls (list "http://www.cs.indiana.edu/eopl/")))

