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