Major Section: SERIALIZE
Hons users could previously use the routines
compact-read-file. These are deprecated and are no longer built into ACL2.
However, they are still available by loading the new system book,
serialize/compact-print. Note that loading this book requires a ttag, and
these routines are still only available in raw lisp.
Another predecessor of the serialization routines were hons archives, which are
still available in the
hons-archive library. The serialization routines
are generally better and we recommend against using hons archives for new