[plt-scheme] Dracula 8.0 release

I have just released Dracula 8.0.  This is a bug-fix release.  Only
the Modular ACL2 language level is affected.

If you are new to Dracula (the ACL2 interface for the DrScheme
programming environment), you can find installation instructions and
more information at:
http://www.ccs.neu.edu/home/cce/acl2/

Regarding the bug fixed in version 8.0:

The Modular ACL2 language level adds metadata to the top of saved
files so DrScheme will recognize them as Modular ACL2 programs when
loaded in the future.  Previously, the metadata looked like this:

;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.ss" ("cce" "dracula.plt" 7 1) "modular" "lang")

Unfortunately, the fact that this encoded version 7.1 of Dracula meant
it was neither forward- nor backward-compatible.  Dracula 7.1 would
not recognize Modular ACL2 files from 7.0, nor vice versa.

Dracula 8.0 removes the version number from this metadata:

;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.ss" ("cce" "dracula.plt") "modular" "lang")

If you load an older Modular ACL2 file in Dracula 8.0, it may open in
a different language level and it will show the metadata rather than
hide it.  You can delete the metadata, switch to the Modular ACL2
language level, and save the file.  This will fix the metadata, and
the file will then load in the Modular ACL2 language level with the
metadata hidden in Dracula 8.0 and future releases.

-- 
Carl Eastlund