[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.
![[logo]](/logo.png){kind=logo}