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.
