Normalizing PLAI wrt tree
svn: r18104
This commit is contained in:
parent
8e0addc8c7
commit
50af456c38
|
@ -655,4 +655,7 @@ mz-extras :+= (- (package: "unstable")
|
|||
;; obvious that "framework" is only in DrScheme.
|
||||
(cond (not dr) => (collects: "unstable/gui")))
|
||||
|
||||
;; -------------------- plai
|
||||
plt-extras :+= (package: "plai/")
|
||||
|
||||
;; ============================================================================
|
||||
|
|
|
@ -1,7 +1,6 @@
|
|||
#lang setup/infotab
|
||||
(require string-constants)
|
||||
|
||||
(define name "PLAI")
|
||||
(define blurb '("Language levels for the Programming Languages: Application and Interpretation textbook"))
|
||||
(define homepage "http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/")
|
||||
(define primary-file "main.ss")
|
||||
|
|
Loading…
Reference in New Issue
Block a user