Easy-to-use functions for controlling the printer.
(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
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:
to see the current values of certain print-related variables.