← Back to branch summary

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

« back to all changes in this revision

Viewing changes to doc/HTML/TRACE$.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/TRACE$.html
1
1
<html>
2
 
<head><title>TRACE$.html  --  ACL2 Version 3.0.1</title></head>
 
2
<head><title>TRACE$.html  --  ACL2 Version 3.1</title></head>
3
3
<body text=#000000 bgcolor="#FFFFFF">
4
4
<h2>TRACE$</h2>trace the indicated functions
5
5
<pre>Major Section:  <a href="TRACE.html">TRACE</a>
30
30
in some Lisp implementations, for compiled tail recursive functions), then
31
31
you can quit into raw Lisp (<code>:q</code>) and execute your form there.
32
32
Alternatively, you can avoid <a href="EXECUTABLE-COUNTERPART.html">executable-counterpart</a> functions by using
33
 
<code>:</code><code><a href="SET-RAW-MODE.html">set-raw-mode</a></code> to enter a raw Lisp version of the ACL2 loop,
34
 
provided you do not intend to run <code><a href="CERTIFY-BOOK.html">certify-book</a></code> later in that session;
35
 
see <a href="SET-RAW-MODE.html">set-raw-mode</a>.<p>
 
33
<code>:</code><code><a href="SET-RAW-MODE.html">set-raw-mode</a></code> to enter a raw Lisp version of the ACL2 loop;
 
34
see <a href="SET-RAW-MODE.html">set-raw-mode</a> and see <a href="SET-RAW-MODE-ON_bang_.html">set-raw-mode-on!</a>.<p>
36
35
 
37
36
Output from <code><a href="TRACE$.html">trace$</a></code> normally goes to the screen, i.e.,
38
37
<code><a href="STANDARD-CO.html">standard-co</a></code>.  But it can be redirected to a file;