javascript.plt-5.4-hacked/README.txt

[DJG] 2008-04-20:

[DJG] 2008-04-20:

This is a copy of Dave Herman's javascript.plt package, edited by Dave Gurnell
as a temporary measure to get around some compatibility problems with PLT 3.99.

We will move back to Dave's library when he releases version 6 in the near future.