# ACL2 Version 8.5 News

## Table of Contents

- Changelogs
- ACL2 sources availability between releases
- VSTTE 2012 Competition
- ACL2 Books Repository

## Changelogs

The "changelogs" for ACL2 are in the release-notes topics of the manuals. In particular, there are release notes for Version 8.5.

## ACL2 sources availability between releases

ACL2 sources are available between releases at the ACL2 GitHub Repository.

## VSTTE 2012 Competition

A team of four ACL2 users entered the VSTTE 2012 competition. For information, including the team's solution, visit this link.

## ACL2 Books Repository

The ACL2 GitHub repository allows contributions of ACL2 books (input files), and also provides between-release updates.