switch to "#lang setup/infotab"

svn: r17598
This commit is contained in:
Eli Barzilay 2010-01-11 02:24:24 +00:00
parent c8e7825afe
commit 01536ba44e
2 changed files with 14 additions and 14 deletions

View File

@ -1,15 +1,14 @@
(module info (lib "infotab.ss" "setup")
(define name "DeinProgramm")
#lang setup/infotab
(define tools '("deinprogramm-langs.ss"))
(define name "DeinProgramm")
(define tool-icons '(("logo-small.png" "deinprogramm")))
(define tool-names '("DeinProgramm"))
(define tool-urls '("http://www.deinprogramm.de/dmda/"))
(define tools '("deinprogramm-langs.ss"))
(define compile-omit-files
'("define-record-procedures.scm"
"convert-explicit.scm"
"line3d.scm")))
(define tool-icons '(("logo-small.png" "deinprogramm")))
(define tool-names '("DeinProgramm"))
(define tool-urls '("http://www.deinprogramm.de/dmda/"))
(define compile-omit-files
'("define-record-procedures.scm"
"convert-explicit.scm"
"line3d.scm"))

View File

@ -1,3 +1,4 @@
(module info (lib "infotab.ss" "setup")
(define name "PLT Redex")
(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool)))))
#lang setup/infotab
(define name "PLT Redex")
(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))