Merge commit '468c38675ddea670736a4be1e614a01e92c194b8' into HEAD
tweak to styling of symbolic test vector tables
minor tweak to string documentation
Merge remote-tracking branch 'remotes/xb/master'
Merge commit 'e265663eb42b450180405d469dae5d97db0c0363' into HEAD
Tweaked :doc warning
Merge
Updated *acl2-broken-links-alist* to reflect recent :doc string change in ACL2 (only) User's Manual.
horribly copy/paste things to get printer-friendly stv documentation looking nice
Adding a :doc topic for get-ruleset
Fixes #317
Merge branch 'master' into testing