[plt-dev] Release Announcement for v4.2.4
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