#lang info

(define name "HtDP Languages")
(define tools (list "htdp-langs.rkt"))
(define tool-icons (list '("htdp-icon.gif" "icons")))
(define tool-names (list "How to Design Programs"))
(define tool-urls (list "http://www.htdp.org/"))

(define compile-omit-paths
  '("test-error.rkt"))

(define get-textbook-pls
  '("private/textbook-pls-spec.rkt" textbook-pls))
