Changed, thanks! > On Oct 23, 2021, at 17:19, Robby Findler <[email protected]> wrote: > > On Sat, Oct 23, 2021 at 12:44 PM 'John Clements' via Racket Developers > <[email protected]> wrote: > > * Redex rules get optional names. > > > This one should probably be: "Redex's stepper's GUI shows IO-judgment form > rule names" > > Robby > > > * Many bug fixes! > > > > ---------------------------------------------------------------------- > > > John Clements > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/6c46b032-edea-49ae-bec2-4c70827c6e9d%40mtasv.net. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAL3TdONR5C7ZgGhN-81ULiCWnwK%2BOKSywNgkv9Tw0qB9%2BqgX%2Bg%40mail.gmail.com.
-- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/6fedda0c-8366-4ecc-a003-a4e553e43648%40mtasv.net.
