add outer-local book for creating events local to an external context

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2154 303c5b2c-9740-0410-b014-fd8f9db7be32
fix an outer-local bug

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2155 303c5b2c-9740-0410-b014-fd8f9db7be32
Mostly XDOC/STD updates

:XDOC now shows :FROM information and prints parents more nicely.
(fixes issue 108)

XDOC::SAVE now prints a report about redefined topics that shows you where the
redefinition occurs.  It will cause errors (by default, but you can suppress
them by just adding :REDEF-OKP T) if topics are redefined.  (fixes issue 109)

Updated some books to fix problems shown by these new XDOC warnings.
Modernized a couple of VL books in the process.

Integrated xdoc::set-default-parents into std/util macros in a more sensible
way.  (fixes issue 65)

  - Previously macros like defprojection, deflist, defmapappend, defenum,
    defalist, and defaggregate ignored the default-parents, and just used
    (acl2::undocumented) if no parents were provided.  These macros now instead
    consult default-parents before falling back to (acl2::undocumented).  Also,
    :parents nil can now be used to defeat (acl2::undocumented).

  - Previously the define macro ignored default-parents.  It now uses the
    defaults when no explicit :parents are provided.

Fix svn:ignores on top-level milawa directory, which previously had no books.

FWIW I never notice these svn:ignore problems because my ~/.subversion/config
has a line like this:
  global-ignores = *.cert *.cert.out ...
It seems easier to do this in our global configs than to have to remember
to deal with it every time we add another directory.

Update issue 66

After some deliberation, I decided NOT to have define automatically insert
:parents (acl2::undocumented), mainly because doing it the other way led to
many conflicts with XDOC's new anti-redefinition feature.



git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2156 303c5b2c-9740-0410-b014-fd8f9db7be32
fix bug with define-tests

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2157 303c5b2c-9740-0410-b014-fd8f9db7be32
test commit, please ignore

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2159 303c5b2c-9740-0410-b014-fd8f9db7be32
cert.pl: don't output reloc stub info when --quiet

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