Scheduling automatic updates

You can configure the Toolbox update installer to automatically search for updates on a periodic basis.  You can configure how these updates are scheduled and performed from the Automatic Update preferences page.  Checking the box at the top of the page enables automatic searching for and notification of available updates. 

You can also opt-in to receive experimental features of the TLA Toolbox and TLC. Note though, that experimental features might not work as intended and can lead to bogus behavior. Not for the faint-hearted.

The rest of the preference page then allows you to schedule the search and notification.

Update schedule

You can choose among the following schedules for checking for updates:

If the Toolbox is not running at the scheduled time, the search will be done when the Toolbox is next started.

Download options

If you schedules for updates to be checked, you can choose whether or not to download (but not install) the new updates before notifying you.

When updates are found

When a notification popup appears, you have the choice of either updating or deferring.  If you defer the update, a preference determines if the notification pops up again and, if so, when.


↑ Updating the Toolbox