Removed no-duplicatesp from *primitive-macros-with-raw-code* and
removed no-duplicatesp-equal *primitive-logic-fns-with-raw-code*.
(Their inclusion has been unnecessary.)

Quoting :doc note-7-0 (a comment in (defxdoc note-7-0 ...) goes into
more detail; see books/system/doc/acl2-doc.lisp):

  The utility :[pl2] no longer automatically instantiates free
  variables; similarly for calls of :[pl] on a term. Thanks to Eric
  Smith for sending an example showing the problem with the previous
  implementation.

Quoting :doc note-7-0 (where the part about
SWITCHES-PARAMETERS-AND-MODES is new but the ``Tours'' deletion was
already implemented in the preceding svn check-in, r1382):

  We removed support for legacy [documentation] topics
  SWITCHES-PARAMETERS-AND-MODES and the ``Tours''. (The
  implementation-level change was to remove such entries from source
  function documentation-alist-stub.) While the community-books and
  ACL2-only documentation continues to be maintained, existing
  old-style (pre-[xdoc]) documentation topics that use those deleted
  topics as a parent will likely need to have a different parent.

Made this fix, quoting from a comment from (defxdoc note-7-0 ...) in
community book books/system/doc/acl2-doc.lisp:

; We now avoid a raw Lisp error for encapsulate events occurring when trying to
; check for redundancy.  The problem was that getprop was being called by
; find-first-non-local-name with a non-symbol first argument.  Thanks to Jared
; Davis for reporting this bug by sending the following example:
;
;   (encapsulate () ((x)))

The :trace keyword has been removed from with-evisc-tuple and the
:evisc argument to with-output, because the evisc-tuple for tracing
has an unusual under-the-hood implementation that makes it difficult
to support that keyword.  Made changes to :doc with-output, mostly to
explain this point about :trace.


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