[plt-planet-announce] Updated PLaneT package: cce/dracula.plt for 4.x

From: PLaneT (planet at racket-lang.org)
Date: Thu Feb 3 16:06:35 EST 2011

This announces the availability of an updated package from PLaneT:

-------
Name:            dracula.plt
Package version: 8.17
Owner:           cce


Package Description
Provides the Dracula language level for ACL2 emulation.
Release Notes
8.17: Added import/export restriction for Modular ACL2 compound modules. Made state variable available in world teachpack. Fixed ordering of import, include-book, and export verification in Modular ACL2. 
-------

Go to 

http://planet.racket-lang.org/display.ss?package=dracula.plt&owner=cce

for more information.


Posted on the planet-announce mailing list.