[plt-dev] Release Announcement for v4.2.4

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Mon Jan 25 16:41:10 EST 2010

On Sun, Jan 24, 2010 at 8:09 PM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
> On Sun, Jan 24, 2010 at 7:26 PM, Eli Barzilay <eli at barzilay.org> wrote:
>> Possible release announcement items below.  Please mail me new items
>> and edits or deletions.
>> ----------------------------------------------------------------------
>>
>> * [Carl] New $PLTADDONDIR, `--addon'/`-A' flags?

[UPDATE:]

* PLT Scheme's add-on directory can now be customized by the
PLTADDONDIR environment variable and the --addon or -A command-line
flags.  This directory is used to store downloaded Planet packages and
rendered Scribble documentation.  Customization allows multiple
installations of DrScheme to coexist without sharing (potentially
incompatible) compiled files.

--Carl


Posted on the dev mailing list.