From: Eli Barzilay <eli@barzilay.org>
To: plt-announce@list.cs.brown.edu
Subject: [PLT announcement] PLT Scheme v4.1
Date: Tue, 12 Aug 2008 16:12:37 -0400

PLT Scheme version 4.1 is now available from

  http://plt-scheme.org/

* DrScheme changes:

  - The Module language now has an automatically inserted `#lang’
    declaration, so the interactions window is available right
    away for new windows.

  - Searching is now interactive (see the manual for details).

  - Memory limits are now enabled by default.

* Typed Scheme supports a novel type checking mechanism for
  homogeneous and heterogeneous variable-arity function
  definitions and applications.

* Redex (a domain-specific language for testing operational
  semantics) is now included in the distribution. See also
  http://redex.plt-scheme.org/.

* Lots of improvement to the documentation, including: better
  searching, table-of-contents, and language-sensitive help (in
  the teaching languages).

* The world.ss teachpack no longer supports `end-of-time’, only
  `stop-when’.

* MzScheme has now a logging facility, search the documentation
  for "logger" for more details.

* Bug fixes:

  - `begin’ in R5RS (and derived languages),

  - `#lang planet’,

  - `eval’ works with phases.

Feedback Welcome,
-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!