Major Section: SERIALIZE
Hons users could previously use the routines compact-print-file and
compact-read-file. These are deprecated and are no longer built into ACL2.
However, they are still available by loading the new community 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
projects.
