(Documentation only) Quoting :doc note-6-5:

  Rules of class :[linear] may now be [monitor]ed. Thanks to David
  Rager for requesting this enhancement.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2583 303c5b2c-9740-0410-b014-fd8f9db7be32
Brought :doc note-6-5 up-to-date to explain new "w" ACL2-Doc browser
command as well as other ACL2-Doc mods made since Version 6.4.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2584 303c5b2c-9740-0410-b014-fd8f9db7be32