Fixed "u" (up) command to work in ACL2-only manual for topics whose primary parent is TOP, by using the next parent.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1169 5d84a466-a78b-0930-a311-59b22171a541
[Trying again -- seemed to avoid committing this when I tried earlier.]  Fixed "u" (up) command to work in ACL2-only manual for topics whose primary parent is TOP, by using the next parent.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1170 5d84a466-a78b-0930-a311-59b22171a541
[Trying third time -- sigh, bin/svnc does not do well with double quote inside quote.]  Fixed u (up) command to work in ACL2-only manual for topics whose primary parent is TOP, by using the next parent.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1171 5d84a466-a78b-0930-a311-59b22171a541
[Trying fourth time -- I do not know why this is not working.]  Fixed u (up) command to work in ACL2-only manual for topics whose primary parent is TOP, by using the next parent.

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

Following feedback from Jared, moved :doc strings for e0-ord-< and
e0-ordinalp from the ACL2 sources into ordinals/e0-ordinal.lisp.

Improved :doc force using feedback from David Rager.

Removed ":cited-by Programming" from :doc include-book.


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