ABOUT-ACL2.html -- ACL2 Version 6.3

# ABOUT-ACL2

about ACL2

    Major Section:  ACL2 Documentation

This is ACL2 Version 6.3, copyright (C) 2013, Regents of the University of Texas, authored by Matt Kaufmann and J Strother Moore.

For past versions, see http://www.cs.utexas.edu/users/moore/acl2/current/other-releases.html.

For statistics on ACL2 code size, see file `doc/acl2-code-size.txt`.

See documentation for how to access the user's manual.

See the home page at http://www.cs.utexas.edu/users/moore/acl2/ for additional information including tutorials, applications, mailing lists, related publications, libraries, ACL2 workshops and seminars, installation instructions, and acknowledgements.

See copyright for license and copyright information.