Protect against launching the theorem prover multiple times

symphonytool / symphony

The Symphony IDE

5 stars 4 forks source link

Protect against launching the theorem prover multiple times #220

Open pglvdm opened 10 years ago

pglvdm commented 10 years ago

If one by mistake press the "start theorem prover" twice one gets an error like: "Only a single prover can be running at any time - stop the running prover before launching a new one". The IDE should catch this kind of problem. The error message is ok but it should not come out as an error in the Error Log

ldcouto commented 10 years ago

The launching is provided by Isabelle/Eclipse and this behavior comes from there as well.

Re-tagging as an enhancement.