*UNOFFICIAL* git mirror of the ACL2 svn repository.