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-devel.googlecode.com/svn/trunk@1256 5d84a466-a78b-0930-a311-59b22171a541
Added new ACL2-Doc browser command, "w".  Also, brought :doc note-6-5
up-to-date to explain this and other ACL2-Doc mods made since Version
6.4.


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