← Back to branch summary

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

« back to all changes in this revision

Viewing changes to doc/HTML/HISTORY.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/HISTORY.html
1
1
<html>
2
 
<head><title>HISTORY.html  --  ACL2 Version 3.0.1</title></head>
 
2
<head><title>HISTORY.html  --  ACL2 Version 3.1</title></head>
3
3
<body text=#000000 bgcolor="#FFFFFF">
4
4
<h1>HISTORY</h1>functions that display or change history
5
5
<pre>Major Section:  <a href="acl2-doc-major-topics.html">ACL2 Documentation</a>
78
78
</h3>
79
79
</li>
80
80
 
 
81
<li><h3><a href="UBT-PREHISTORY.html">UBT-PREHISTORY</a> -- undo the <a href="COMMAND.html">command</a>s back through the last <code><a href="RESET-PREHISTORY.html">reset-prehistory</a></code> event
 
82
</h3>
 
83
</li>
 
84
 
 
85
<li><h3><a href="UBU.html">UBU</a> -- undo the <a href="COMMAND.html">command</a>s back up to (not including) a <a href="COMMAND.html">command</a> descriptor
 
86
</h3>
 
87
</li>
 
88
 
 
89
<li><h3><a href="UBU_bang_.html">UBU!</a> -- undo <a href="COMMAND.html">command</a>s, without a query or an error
 
90
</h3>
 
91
</li>
 
92
 
81
93
</ul>
82
94
 
83
95
ACL2 keeps track of the <a href="COMMAND.html">command</a>s that you have executed that have