Added a comment anticipating a possible change in storage of type-prescription rules, function find-type-prescription-pat.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1372 5d84a466-a78b-0930-a311-59b22171a541
Updated installation requirements to discourage the use of CLISP, which was the source of the v6-5 regression error (due to a stack overflow) reported recently on the acl2-help list.

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