Currently Isabelle must be configured as launch configuration and started manually.
This is to allow different Isabelle configurations and because Isabelle/Eclipse does not come bundled with Isabelle as Isabelle/jEdit does.
Investigate options to auto-start last configuration of Isabelle automatically (blocked by #41 here..).
Isabelle distributions could also be considered akin to different JDKs within Eclipse. Maybe it would be worthwile to pre-initialise and start them without the explicit click of the button.
However, one may want to avoid starting Isabelle. For example, people may have Isabelle/Eclipse installed with many different things (e.g. alongside their Java or LaTeX development), and they may not want to launch the prover immediately. So that's why currently you start Isabelle when you want instead of having it run from the beginning.
Currently Isabelle must be configured as launch configuration and started manually.
This is to allow different Isabelle configurations and because Isabelle/Eclipse does not come bundled with Isabelle as Isabelle/jEdit does.
Investigate options to auto-start last configuration of Isabelle automatically (blocked by #41 here..).
Isabelle distributions could also be considered akin to different JDKs within Eclipse. Maybe it would be worthwile to pre-initialise and start them without the explicit click of the button.
However, one may want to avoid starting Isabelle. For example, people may have Isabelle/Eclipse installed with many different things (e.g. alongside their Java or LaTeX development), and they may not want to launch the prover immediately. So that's why currently you start Isabelle when you want instead of having it run from the beginning.