added back teachpack-pre-installed for deinprogramm
This commit is contained in:
parent
91205f26d6
commit
d860661694
|
@ -981,6 +981,7 @@ please adhere to these guidelines:
|
||||||
|
|
||||||
; ~a is filled with the teachpack's name; the message appears in the teachpack selection dialog when a user installs a new teachpack
|
; ~a is filled with the teachpack's name; the message appears in the teachpack selection dialog when a user installs a new teachpack
|
||||||
(compiling-teachpack "Compiling ~a teachpack ...")
|
(compiling-teachpack "Compiling ~a teachpack ...")
|
||||||
|
(teachpack-pre-installed "Preinstalled Teachpacks")
|
||||||
(teachpack-pre-installed/htdp "Preinstalled HtDP Teachpacks")
|
(teachpack-pre-installed/htdp "Preinstalled HtDP Teachpacks")
|
||||||
(teachpack-pre-installed/2htdp "Preinstalled HtDP/2e Teachpacks")
|
(teachpack-pre-installed/2htdp "Preinstalled HtDP/2e Teachpacks")
|
||||||
(teachpack-user-installed "User-installed Teachpacks")
|
(teachpack-user-installed "User-installed Teachpacks")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user