1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<html>
<head><title>SAVING-AND-RESTORING.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>SAVING-AND-RESTORING</h2>saving and restoring your logical state
<pre>Major Section: <a href="MISCELLANEOUS.html">MISCELLANEOUS</a>
</pre><p>
One normally works on an ACL2-based project by developing <a href="BOOKS.html">books</a>, which
can then be included when continuing on that project in later ACL2 sessions;
see <a href="INCLUDE-BOOK.html">include-book</a>. However, this approach can be time-consuming when there
are very large collections of <a href="BOOKS.html">books</a> to be included. See see <a href="SAVE-EXEC.html">save-exec</a>
for the description of a utility that saves your ACL2 state so that you can
immediately re-start later in that same state.
<p>
<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>
|
