|
|
|---|
|
|
|
|---|
Releases
For ACL2, there are two senses of the notion, ``release''. This
word traditionally referred to numbered releases of ACL2 at the University of
Texas, such as Version 8.0, as documented in the release-notes. But
the ACL2 community increasingly obtains versions of ACL2 from GitHub, at
There are extensive instructions for doing numbered releases, which as of this writing have not been made public. Anyone who cares to volunteer to make numbered releases should talk with Matt Kaufmann about obtaining those instructions, which perhaps would become public at that point. (It could take non-trivial effort to clarify those instructions for the ``public'', so let's wait till there is such a volunteer.)
NEXT SECTION: developers-guide-style