Quoting :doc note-7-0:

  The new command :btm has been added to the list of valid
  [brr-commands], to show the bottom-most frame in the path. Thanks
  to David Rager for requesting this feature.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1369 5d84a466-a78b-0930-a311-59b22171a541
Updated URL on home-page for the combined-manual to point to the
actual current version, currently "v6-5", rather than to "current".
This should solve a problem pointed out by Jared, that the home page
for old versions points to the current combined manual.  I've also
fixed that explicitly on these pages:

http://www.cs.utexas.edu/users/moore/acl2/v6-4/#User's-Manual
http://www.cs.utexas.edu/users/moore/acl2/v6-5/#User's-Manual


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1370 5d84a466-a78b-0930-a311-59b22171a541
Syncing up doc.lisp with books/system/doc/acl2-doc.lisp

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