Changes between Initial Version and Version 2 of Ticket #240

Timestamp:

Aug 28, 2008, 1:21:11 PM (16 years ago)

Author:

David Aspinall

Comment:

Seems this change is not good enough: fetching a session manager is the main path for starting the prover now! What we can try to do is to keep a flag indicating whether the prover path is invalid, and not attempt to start the prover if this flag suggests it shouldn't be started. Probably also need a method to explicitly check/start prover before main actions, then popping up dialog is OK.