On Sat, Oct 23, 2021 at 12:44 PM 'John Clements' via Racket Developers < racket-dev@googlegroups.com> 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 racket-dev+unsubscr...@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdONR5C7ZgGhN-81ULiCWnwK%2BOKSywNgkv9Tw0qB9%2BqgX%2Bg%40mail.gmail.com.
