Custom Query (361 matches)
Results (13 - 15 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #139 | fixed | Prover not started when run from Product | ||
| Description |
Prover does not start when run from a Product configuration, though it starts successfully as a plugin. Exception seems to be generated by the system path management which calls the prover and its tools. |
|||
| #238 | fixed | Remove goto thread | ||
| Description |
The goto thread job nicely collects exceptions from the subjob, but it has the disadvantage (I think) of disabling display updates while the thread runs. Try |
|||
| #242 | fixed | Fix intro configuration (welcome page) | ||
| Description |
We need to port welcome.xml to the intro content format. Currently it uses content/introContent.xml since welcome.xml is in the wrong format; this content does not work and is not for PG Eclipse anyway. Useful information at http://www.eclipse.org/eclipse/platform-ua/proposals/welcome/intro_xhtml/index.htm |
|||
