original commit: 2bfdfedacaa0fd044ca6198ebb8074d61fd38b6a
This commit is contained in:
Matthew Flatt 2002-07-07 19:37:36 +00:00
parent bd8a40ca73
commit 9c6da083e4

View File

@ -20,6 +20,7 @@
mred-launcher-up-to-date? mred-launcher-up-to-date?
mzscheme-launcher-up-to-date? mzscheme-launcher-up-to-date?
build-aux-from-path
current-launcher-variant current-launcher-variant
available-mred-variants available-mred-variants
available-mzscheme-variants))) available-mzscheme-variants)))