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
|
<html>
<head><title>APROPOS.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>APROPOS</h2>searching <code>:</code><code><a href="DOC.html">doc</a></code> and <code>:</code><code><a href="MORE-DOC.html">more-doc</a></code> text
<pre>Major Section: <a href="MISCELLANEOUS.html">MISCELLANEOUS</a>
</pre><p>
NOTE: The <code>:</code><code><a href="DOCS.html">docs</a></code> command only makes sense at the terminal.
<pre>
Example:
:Docs "compile" will find all documented topics mentioning the
string "compile"
</pre>
<p>
When the <code>:</code><code><a href="DOCS.html">docs</a></code> command is given a <code><a href="STRINGP.html">stringp</a></code> argument it searches the
text produced by <code>:</code><code><a href="DOC.html">doc</a></code> and <code>:</code><code><a href="MORE-DOC.html">more-doc</a></code> and lists all the documented
topics whose text contains the given string. For purposes of this
string matching we ignore distinctions of case and the amount and
kind (but not presence) of white space. We also treat hyphen as
whitespace.
<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>
|
