1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
<HTML>
<HEAD><TITLE>ACL2 Releases</TITLE></HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF">
<h1>ACL2 Releases</h1>
The current ACL2 non-incremental release on the <a
href="http://www.cs.utexas.edu/users/moore/acl2/index.html">ACL2 home page</a>
is Version 3.1 (December, 2006).
<p>
This page contains:
<ul>
<li><h2><a href="#incremental">Incremental releases since the current release</a></h2></li>
<li><h2><a href="#past">Past releases</a></h2></li>
</ul>
</p>
<hr size=3 noshade>
<h2><a name="incremental">Incremental releases since the latest "past release" below:</a></h2>
[None at this time.]
<h2><a name="past">Past releases:</a></h2>
<ul>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v3-0/new/v3-0-1/index.html">Version 3.0.1 (August, 2006)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v3-0/index.html">Version 3.0 (June, 2006)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-9/new/v2-9-4/index.html">Version 2.9.4 (January, 2006)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-9/new/v2-9-3/index.html">Version 2.9.3 (August, 2005)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-9/new/v2-9-2/index.html">Version 2.9.2 (April, 2005)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-9/new/v2-9-1/index.html">Version 2.9.1 (December, 2004)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-9/index.html">Version 2.9 (October, 2004)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-8/index.html">Version 2.8 (March, 2004)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-7/index.html">Version 2.7 (November, 2002)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-6/index.html">Version 2.6 (November, 2001)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-5/index.html">Version 2.5 (June, 2000)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-4/index.html">Version 2.4 (August, 1999)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-3/index.html">Version 2.3 (October, 1998)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-2/index.html">Version 2.2 (August, 1998)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-1/index.html">Version 2.1 (December, 1997)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v2-0/index.html">Version 2.0 (July, 1997)</a></li>
<li><a href="http://www.cs.utexas.edu/users/moore/acl2/v1-9/acl2-doc.html">Version 1.9 (Fall, 1996)</a></li>
</ul>
<BR><HR><BR><BR><BR><BR><BR><BR>
</BODY>
</HTML>
|
