#lang setup/infotab
(require string-constants)

(define name "PLAI")
(define blurb '("Language levels for the Programming Languages: Application and Interpretation textbook"))
(define release-notes 
  (list
   `(ul
     (li "Arrows in GC gui")
     (li "Random mutator generator")
     (li "Note: PLAI will be distributed with PLT in the future. This package will remain for compatibility."))))
(define categories '(devtools))
(define can-be-loaded-with 'all)
(define homepage "http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/")
(define primary-file "main.ss")
(define repositories '("4.x"))
  
(define scribblings '(("scribblings/plai.scrbl" ())))

(define textbook-pls
  (list (list '("plai-small.gif" "plai")
              "Programming Languages: Application and Interpretation"
              (string-constant teaching-languages)
              "Programming Languages: Application and Interpretation")))

(define tools (list "plai-tool.ss"))
(define tool-icons (list "plai-small.gif"))
(define tool-names 
  (list "Programming Languages: Application and Interpretation"))
(define tool-urls 
  (list "http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/"))