Custom Query (9 matches)
| Ticket | Summary | Status | Owner | Type | Milestone | Component |
|---|---|---|---|---|---|---|
| #14 | Concurrency fixes | new | defect | 1:pg-eclipse | ||
| #42 | Extract Isabelle-specific behaviour; design prover extension point | new | enhancement | 1:pg-eclipse | ||
| #66 | Make parser more robust and suggest likely causes of error | new | defect | 1:pg-eclipse | ||
| #246 | Fix ProofScriptDocument partitionChangeBroadcast | new | defect | 1:pg-eclipse | ||
| #249 | Script management error for locales; undo action failure should not generate markers | assigned | 1:pg-eclipse | |||
| #251 | Exception in editor startup | new | defect | 1:pg-eclipse | ||
| #252 | Tune script management markers | new | defect | 1:pg-eclipse | ||
| #255 | Refactor concurrency handling for document | new | defect | 1:pg-eclipse | ||
| #38 | Add automated testing framework | new | enhancement | 1:pg-eclipse |
Note: See TracQuery
for help on using queries.
