Quoting :doc note-6-5:

  The form (reset-prehistory nil) now is a no-op if [state] global
  'skip-reset-prehistory has a non-nil value. Thanks to Sol Swords
  for requesting this feature (in support of infrastructure for
  certifying the [community-books]).


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