enable "check context theorems" button if a context is loaded (was only enabled on machines)