Quoting :doc note-6-5:

  See [set-print-base-radix] for a utility that may be preferable to
  [set-print-base], since it essentially calls [set-print-radix]
  automatically. Thanks to David Rager, Shilpi Goel, and David Hardin
  for participating in an acl2-help mailing list discussion that
  motivated this feature.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1266 5d84a466-a78b-0930-a311-59b22171a541