
<hr> 
<dl>
<dt><b><font color=#0000c0>Subtopics</font></b></dt>
<dd> <a href="update-preferences.html">Scheduling automatic updates</a></dd>
<dd> <a href="revert-update.html">Reverting to a previous Toolbox version</a></dd>
</dl>
<!-- delete rest of line to comment out -->  
<hr> 
<a href = "../contents.html">&uarr; TLA+ Toolbox User's Guide</a>
</hr>


</BODY>
</HTML>
