acl2/acl2 — pull request #274 by ragerdl (2014-10-07 16:33:33+00:00)
Title: Beta

Reworking git quickstart guides.
Fixing a couple typos.
Update books/build/jenkins/build-single.sh to use -j3