[plt-dev] Release Announcement for v4.2.5

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Apr 1 07:51:05 EDT 2010

There were a bunch of small improvements to the way redex typesets
things. Not worth listing them all, but a generic bullet seems good.

 - A number of improvements to Redex's typesetting facilities

Robby

On Thu, Apr 1, 2010 at 2:56 AM, Eli Barzilay <eli at barzilay.org> wrote:
> Possible items (dug up from log messages):
>
> Robby:
>  - New language dialog layout
>
> Matthew:
>  - Futures are on by default
>  - wrap each top-level form in a module with a prompt (if visible
>    enough)
>  - basic set library
>  - things from r18375, if visible enough
>  - scribble/jfp
>
> * Noel, Ryan:
>  - schemeunit is now included (gui revived?)
>
> * Sam:
>  - Add `define-predicate'; add `with-type' for defintions; New TS
>    guide.  (Maybe more?)
>
> * Casey:
>  - redex extensions? random testing?
>
> * Matthias:
>  - release events? other universe stuffs?
>
> * Jay:
>  - Adding PLAI software to the core
>  - r18130, if there's anything visible
>
> * Ryan:
>  - misc syntax-parse additions (r17937, and probably more)
>
> * Carl:
>  - contract stuff (r18009 and probably more)
>
> * Stevie:
>  - class contracts?
>
> Sketch items:
>
> * New Russian and Ukranian translations, thanks to Sergey Semerikov
>
> * Generators now support producing multiple values (by giving
>  sending multiple input values to `yield') and consuming multiple
>  values (by sending values to the generator function) which turn to
>  the results of `yield' in the generator.  The `generator' form has
>  changed and requires to have a (generator () body ...) form, and
>  in the future this will be used for bindings to initial values
>  when the generator is first invoked.
>
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>


Posted on the dev mailing list.