Changed, thanks!
> On Oct 23, 2021, at 17:19, Robby Findler wrote:
>
> On Sat, Oct 23, 2021 at 12:44 PM 'John Clements' via Racket Developers
> wrote:
>
> * Redex rules get optional names.
>
>
> This one should probably be: "Redex's stepper's GUI shows IO-judgment form
> rule names"
>
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!
>
>
>
> --
> * Scribble HTML output gains a button to show / hide the table of
> contents.
>
Only for mobile view, I think? So perhaps adding "for mobile view" at the
end.
--
You received this message because you are subscribed to the Google Groups
"Racket Developers" group.
To unsubscribe from this gro
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 syntax
