1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<html>
<head><title>U.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>U</h2>undo last <a href="COMMAND.html">command</a>, without a query
<pre>Major Section: <a href="HISTORY.html">HISTORY</a>
</pre><p>
<pre>
Example:
:u
</pre>
<p>
The keyword <a href="COMMAND.html">command</a> <code>:u</code> is the same as <code>:</code><code><a href="UBT.html">ubt</a></code> <code>:</code><code><a href="MAX.html">max</a></code>,
but with related queries suppressed appropriately. <code>:</code><code><a href="OOPS.html">Oops</a></code> will undo
the last <code>:u</code>. See <a href="UBT.html">ubt</a>, see <a href="UBU.html">ubu</a>, see <a href="UBT_bang_.html">ubt!</a>, and see <a href="UBU_bang_.html">ubu!</a>.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
