SERIALIZE-ALTERNATIVES.html -- ACL2 Version 6.3

## SERIALIZE-ALTERNATIVES

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 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.