Deleted directories deduction/ and concurrent-programs/, which were previously moved and hence have no books.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2235 303c5b2c-9740-0410-b014-fd8f9db7be32
add linter hook for new, internal check

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2236 303c5b2c-9740-0410-b014-fd8f9db7be32
Updated :doc acl2-doc to clarify about replacement of spaces by underscores in topic names.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2237 303c5b2c-9740-0410-b014-fd8f9db7be32
Tweaks to def-typed-record:
 - generalize fixing function -- no longer has to fix every non-element to the same default
 - shift iteration indexing

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2238 303c5b2c-9740-0410-b014-fd8f9db7be32
satlink: change eval-formula (exec only) to be tail recursive

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2239 303c5b2c-9740-0410-b014-fd8f9db7be32
Add evaluation feature to XDOC's preprocessor.  The new @(`...`) syntax lets
you do ACL2 evaluation during manual generation, e.g., @(`(+ 1 2 3)`) will
expand to <tt>6</tt>.  This may be useful for referring to simple constants,
showing examples, generating URLs, and so on.  See :xdoc preprocessor for
details.

Update issue 112

Something like this could probably be made to work now, without much fuss:

  <a href='@(`(:raw (hyperspec "Body/f_append.htm"))`)'>Function Append</a>

Where hyperspec would be defined something like this:

  (defmacro hyperspec (suffix &optional (state 'state))
    `(str::cat (f-get-global 'hyperspec-url state) "/" suffix))

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