← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to doc/HTML/SET-TAINTED-OKP.html

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-12-04 10:35:42 UTC
  • mfrom: (1.1.5 upstream) (3.1.1 etch)
  • Revision ID: james.westby@ubuntu.com-20061204103542-68nf4pkilci0018n
Tags: 3.1-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/HTML/SET-TAINTED-OKP.html
1
1
<html>
2
 
<head><title>SET-TAINTED-OKP.html  --  ACL2 Version 3.0.1</title></head>
 
2
<head><title>SET-TAINTED-OKP.html  --  ACL2 Version 3.1</title></head>
3
3
<body text=#000000 bgcolor="#FFFFFF">
4
4
<h2>SET-TAINTED-OKP</h2>control output
5
5
<pre>Major Section:  <a href="OTHER.html">OTHER</a>
28
28
incremental release as the same as the corresponding (immediately preceding)
29
29
normal release, in order to avoid recertification of existing certified
30
30
books.  SUCH RECERTIFICATION IS LOGICALLY REQUIRED, but we provide
31
 
<code>(set-tainted-okp t</code> as a mechanism to allow users to experiment with
 
31
<code>(set-tainted-okp t)</code> as a mechanism to allow users to experiment with
32
32
incremental releases.<p>
33
33
 
34
34
Below we describe how books can be certified even though their certification