		Search-engine friendly clone of the ACL2 documentation.

Print-control

Plev

Easy-to-use functions for controlling the printer.

Example:

(include-book "tools/plev" :dir :system)

(plev)     ;; moderate abbreviations, a good default
(plev-max) ;; don't abbreviate anything, show everything
(plev-min) ;; heavily abbreviate things, usually too terse
(plev-mid) ;; somewhat similar to plev

Each of these is actually a macro with keyword arguments like :length, :level, :lines, :circle, :pretty, and :readably. You can choose your own values for these arguments, or just use the above macros.

Note for Clozure Common Lisp users: you may wish to instead include

(include-book "tools/plev-ccl" :dir :system :ttags :all)

for a version of plev that also updates the print levels used during backtraces and error messages. CCL users can also use:

(plev-info)

to see the current values of certain print-related variables.