Kaufmann patches std::define such that it now provides a :redundant output when a define is redundnat.  Kaufmann writes:

Upon success we now see the name being returned, where before it
looked like nothing was returned, though in fact (value :invisible)
was returned -- as you can see if you first evaluate
(set-ld-error-triples nil state) before the define form.  But anyhow,
that's a minor point, easily changed.  The more interesting mod is
that if the world wasn't modified, then (value :redundant) is
returned.

One thing you or Jared might notice is that in my implementation,
I check equality of two worlds with EQUAL.  I tried EQ but got a
guard violation that I think is unavoidable.  But I think EQUAL will
be fast -- either the recursive equality test will fail very quickly, or
the worlds will actually be EQ and hence EQUAL will return t very
quickly.  Initially I compared their lengths, but I think computing
lengths might often be more expensive and almost never cheaper.

Fixes #220
Adding a reference to the xdoc topic from 'books-certification' and 'build-the-manual'.  Also changed the canonical command used to build the manual.  I considered listing both commands but decided less to read was better.

Fixes #289.
Make build-single.sh use -j2 instead of -j3.
Improved function proclaiming for GCL.

Quoting :doc note-7-0:

  (Should essentially affect GCL only) Significant re-work has been
  done for function proclaiming, which is still only done when the
  host Lisp is GCL. In particular, the build process now has extra
  steps even for other Lisps though for them, the extra steps are
  trivial (technical details may be found in the comment labeled
  ``Essay on Proclaiming'' in source file acl2-fns.lisp). We also
  have improved the calculation of return types. Thanks to Camm
  Maguire for helpful discussions, in particular for pointing out
  that the re-proclaiming that had been done previously could lead to
  buggy behavior.
Fixed an error that occurred when proclaiming in GCL.  Miscellaneous other, very small fixes.

Fixed an error that occurred when proclaiming in GCL, and tweaked some
comments.

Fixed slight bug in oracle-apply and oracle-apply-raw (only occurs for
non-live state in raw Lisp), found during automatic proclaiming.

Avoid warning during ACL2(h) builds, about ignoring memoization
requests in raw Lisp.
Modified GCL function proclaiming to use GCL's own mechanism.

Thanks to Camm Maguire for help with this.

The ACL2-based mechanism is available, easily restored by setting
variable *do-proclaims* to t.  But GCL's is faster, based on these
experimental results for ACL2(h) regressions (using a GCL 2.6.12pre1
ANSI build supplied by Camm Maguire):

- With ACL2 proclaiming:
39365.260u 1577.374s 1:34:29.53 722.1%	0+0k 888280+5404376io 624pf+0w

- With GCL's own proclaiming:
38519.259u 1611.440s 1:32:18.07 724.6%	0+0k 882072+5324672io 619pf+0w

I like the idea of relying on GCL's proclaiming.  My understanding
from Camm Maguire is that future GCL versions might do a yet more
complete job.

NOTE: ACL2's proclaiming is still used (in GCL) for user-defined
functions, i.e., after the build.  It's only during the build
("boot-strap") that GCL's mechanism is used.  Perhaps some day we'll
revisit that.

It might be of some value to look carefully at what is generated in
file acl2-proclaims.lisp using ACL2's proclaiming (*do-proclaims* = t)
vs. GCL's proclaimng (*do-proclaims* = :gcl, as is now the case).  It
might also be of some value to re-visit using ACL2's proclaiming in
other Lisps -- past experiences in CCL and Allegro CL were not
promising, but ACL2's proclaiming has very recently been improved.

Anyhow, here is the revised version of the existing paragraph from
:doc note-7-0 on proclaiming:

  (Should essentially affect GCL only) Significant re-work has been
  done for function proclaiming, which is still only done when the
  host Lisp is GCL. In particular, the build process now has extra
  steps even for other Lisps though for them, the extra steps are
  trivial (technical details may be found in the comment labeled
  ``Essay on Proclaiming'' in source file acl2-fns.lisp). We now use
  GCL's automatic proclaiming mechanism to calculate function types
  during the build (boot-strap), as we have seen it perform better
  than our own. Thanks to Camm Maguire for helpful discussions, in
  particular for explaining that mechanism and for pointing out that
  the re-proclaiming that had been done previously during the build
  could lead to buggy behavior.
Make build-single.sh use -j1 instead of -j2.
Merge pull request #293 from ragerdl/beta

Improve std::define and add reference to xdoc when users are looking for
all doc-sections eradicated from ihs
start fixing ihs fallout
Merge remote-tracking branch 'remotes/origin/master' into doc
reduce dependencies in defrule