Quoting :doc note-6-5:

  A [defstobj] event may now include the keyword argument
  :non-memoizable. When its value if t, then for ACL2(h) builds (see
  [hons-and-memoization]), code will run somewhat faster. In a little
  test doing just reads and writes to a stobj array in ACL2(h), it
  took 26% less time when the stobj to be written was introduced by
  [defstobj] using :non-memoizable t. Thanks to Warren Hunt for
  requesting this feature and helping to develop the test.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1244 5d84a466-a78b-0930-a311-59b22171a541
Minor info message update

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

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1246 5d84a466-a78b-0930-a311-59b22171a541
Added missing ignore declaration for ACL2(non-h), fixing bug reported by Jared.

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