/
new.html
49 lines (33 loc) · 1.85 KB
/
new.html
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
<HTML>
<HEAD><TITLE>ACL2 Version 8.5 News</TITLE></HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" STYLE="font-family:'Verdana'">
<H1><A NAME="top"><a href="http://www.cs.utexas.edu/users/moore/acl2/">ACL2</a> Version 8.5 News</A></H1>
<H2>Table of Contents</H2>
<ul>
<LI><A HREF="#changelog">Changelogs</A></LI>
<LI><A HREF="#git">ACL2 sources availability between releases</A></LI>
<LI><A HREF="#vstte-12">VSTTE 2012 Competition</A></LI>
<LI><A HREF="#acl2-books">ACL2 Books Repository</A></LI>
</ul>
<A NAME="changelog"><H2>Changelogs</H2></A>
<p>The "changelogs" for ACL2 are in
the <a href="http://www.cs.utexas.edu/users/moore/acl2/current/combined-manual/?topic=ACL2____RELEASE-NOTES">release-notes</a>
topics of the manuals. In particular, there
are <a href="http://www.cs.utexas.edu/users/moore/acl2/current/combined-manual/?topic=ACL2____NOTE-8-5">release
notes for Version 8.5</a>.</p>
<A NAME="git"><H2>ACL2 sources availability between releases</H2></A>
<p>ACL2 sources are available between releases at
the <a href="https://github.com/acl2/acl2">ACL2 GitHub
Repository</a>.</p>
<A NAME="vstte-12"><H2>VSTTE 2012 Competition</H2></A>
<p>A team of four ACL2 users entered the VSTTE 2012 competition. For
information, including the team's solution, visit
this <a href="http://www.cs.utexas.edu/users/moore/acl2/vstte-2012/index.html">link</a>.</p>
<A NAME="acl2-books"><H2>ACL2 Books Repository</H2></A>
<p>The <a href="https://github.com/acl2/acl2">ACL2 GitHub
repository</a> allows contributions of ACL2 books (input files), and also
provides between-release updates.</p>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>
</BODY>
</HTML>