From bd8a40ca73d62ce67f2b6432706d4091a8311fef Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 5 Jul 2002 13:33:12 +0000 Subject: [PATCH] . original commit: a255af5680643ffa33d095df4643d37fef5d04ff --- collects/launcher/launcher-sig.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index 689b354a95..6101935a3e 100644 --- a/collects/launcher/launcher-sig.ss +++ b/collects/launcher/launcher-sig.ss @@ -17,6 +17,9 @@ install-mred-program-launcher install-mzscheme-program-launcher + mred-launcher-up-to-date? + mzscheme-launcher-up-to-date? + current-launcher-variant available-mred-variants available-mzscheme-variants)))