original commit: a255af5680643ffa33d095df4643d37fef5d04ff
This commit is contained in:
Matthew Flatt 2002-07-05 13:33:12 +00:00
parent f1bdba38c9
commit bd8a40ca73

View File

@ -17,6 +17,9 @@
install-mred-program-launcher install-mred-program-launcher
install-mzscheme-program-launcher install-mzscheme-program-launcher
mred-launcher-up-to-date?
mzscheme-launcher-up-to-date?
current-launcher-variant current-launcher-variant
available-mred-variants available-mred-variants
available-mzscheme-variants))) available-mzscheme-variants)))