[plt-dev] Release Announcement for v4.2.5

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!