Added (declaim (inline min-fixnum)) as suggested by Jared.

Fixed comment in split-at-position (thanks to Jared for pointing out a
mistake in that comment).

Fixed a comment typo.

Updated doc.lisp to match books/system/doc/acl2-doc.lisp.

Improved a warning in chk-acceptable-linear-rule2 to clarify that only
relevant triggers are a problem for free variables.

Added function find-symbol-in-current-package, and used it to speed up (we
think) some printing routines.  Thanks to Jared Davis for pointing out
potential value of such a change.



git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1344 5d84a466-a78b-0930-a311-59b22171a541
Quoting :doc note-6-5:

  (GCL only) Arranged for state global 'tmp-dir to be set to GCL's
  si::*tmp-dir*, even on Windows; this may be important for
  compilation on Windows. Thanks to Camm Maguire for pointing out the
  need to set 'tmp-dir for ACL2 built on GCL on mingw.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1346 5d84a466-a78b-0930-a311-59b22171a541
Quoting :doc note-6-5:

  (GCL only) Arranged for state global 'tmp-dir to be set to GCL's
  si::*tmp-dir*, even on Windows; this may be important for
  compilation on Windows. Thanks to Camm Maguire for pointing out the
  need to set 'tmp-dir for ACL2 built on GCL on mingw.

  (GCL only) Now, [gc$] may be called with no arguments, in which case
  the missing argument for system::gc is t.

Fixed a bug in memoize-raw.lisp, function
memoize-summary-after-compute-calls-and-times, found in a GCL-based
regression of ACL2(h).  At some point I should note this in :doc
note-6-5, but perhaps instead there will be a more sweeping comment
there about revising memoize-raw.lisp.

Temporarily modified print-alist to work around an apparent bug in
check-type in GCL 2.6.10.


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