| From: PLaneT (planet at plt-scheme.org) Date: Fri May 28 16:54:20 EDT 2010 |
|
This announces the availability of an updated package from PLaneT: ------- Name: dracula.plt Package version: 8.11 Owner: cce Package Description Provides the Dracula language level for ACL2 emulation. Release Notes 8.11: Updated for compatibility with upcoming Racket release. ------- Go to http://planet.plt-scheme.org/display.ss?package=dracula.plt&owner=cce for more information.
| Posted on the planet-announce mailing list. |
|