File: other-releases.html

package info (click to toggle)
acl2 3.1-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 36,712 kB
  • ctags: 38,396
  • sloc: lisp: 464,023; makefile: 5,470; sh: 86; csh: 47; cpp: 25; ansic: 22
file content (52 lines) | stat: -rw-r--r-- 2,615 bytes parent folder | download | duplicates (2)
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>