XDOC updates

 - XDOC's fancy viewer now shows the base package for topics from packages
   other than ACL2.  (Fixes issue 100)

 - Add @(tsee ...) directive to support porting the acl2-sources documentation.




git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2121 303c5b2c-9740-0410-b014-fd8f9db7be32
Mostly fix back button in xdoc viewer.

Update issue 85

This isn't a complete solution.  Pages still won't remember "subtopic expansion"
settings, and the forward-button doesn't do similar scrolling.  (Getting the
forward button to also scroll appears to be very tricky, see for instance
http://stackoverflow.com/questions/14541398).

Anyway, this is better than nothing, and at least mostly makes it work.

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2123 303c5b2c-9740-0410-b014-fd8f9db7be32
extremely minor cosmetic tweak for xdoc

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2124 303c5b2c-9740-0410-b014-fd8f9db7be32
GL: allow logcons terms to unify with (integer) g-number objects

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