alternatives to the serialize routines
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 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 projects.