NOTE-3-4_lparen_R_rparen_.html -- ACL2 Version 6.3

## NOTE-3-4(R)

ACL2 Version 3.4(r) (August, 2008) Notes

    Major Section:  RELEASE-NOTES

Please also see note-3-4 for changes to Version 3.4 of ACL2.

Fixed makefiles, `books/nonstd/Makefile` and `GNUmakefile`. The old set-up seemed to work fine as long as all books certified, but it was really broken, for example only certifying some of the books in `books/nonstd/nsa/`, and then only when required by books in other directories. Also fixed the ```clean`'' target to clean links rather than to make links.