Re: [racket-dev] Release Announcement for v8.3

2021-10-23 Thread Robby Findler
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! > > > >

[racket-dev] Release Announcement for v8.3

2021-10-23 Thread 'John Clements' via Racket Developers
The release announcement sketch that I have so far is below. Please mail me new items and/or edits. Please phrase announcements using complete sentences and avoid the word "now”. -- * Racket removes