#lang setup/infotab
(require string-constants)

(define name "PLAI")
(define blurb '("Language levels for the Programming Languages: Application and Interpretation textbook"))
(define release-notes 
     (li "datatype does not expose make-<variant> uncontracted")
     (li "datatype variants are printed constructor style")
     (li "mutator gui window is cleaner and resizing works")
     (li "mutator language now prints out location and values at top-level")
     (li "adding better syntax error messages to mutator language")
     (li "catching mutator languages up to PLT and test harness"))))
(define categories '(devtools))
(define can-be-loaded-with 'all)
(define homepage "")
(define primary-file "")
(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 ""))
(define tool-icons (list "plai-small.gif"))
(define tool-names 
  (list "Programming Languages: Application and Interpretation"))
(define tool-urls 
  (list ""))