Release Announcement for v8.3

[John Clements]

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 arming and disarming in favor of a simpler
system of protected syntax operations, along with other updates to the
syntax system.

* DrRacket has improved support for custom #lang languages.

* Typed Racket improves precision for type-checking of non-polymorphic
structures, existential types, and certain binding forms.

* Scribble HTML output gains a button to show / hide the table of
contents.

* Redex rules get optional names.

* Many bug fixes!



----------------------------------------------------------------------


John Clements

[Sorawee Porncharoenwase]

* 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.

[Robby Findler]

On Sat, Oct 23, 2021 at 12:44 PM 'John Clements' via Racket Developers <racke...@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+...@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.

[John Clements]

Changed, thanks!

> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdONR5C7ZgGhN-81ULiCWnwK%2BOKSywNgkv9Tw0qB9%2BqgX%2Bg%40mail.gmail.com.