| From: PLaneT (planet at plt-scheme.org) Date: Mon Mar 22 00:20:22 EDT 2010 |
|
This announces the availability of an updated package from PLaneT: ------- Name: dracula.plt Package version: 8.9 Owner: cce Package Description Provides the Dracula language level for ACL2 emulation. Release Notes 8.9: Fixed various bug reports. ------- Go to http://planet.plt-scheme.org/display.ss?package=dracula.plt&owner=cce for more information.
| Posted on the planet-announce mailing list. |
|