{12} Newest Tickets (20 matches)
20 Newest Tickets.
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #354 | synchronisation lost with "process rest" and "undo" | 1:pg-eclipse | defect | David Aspinall | new | Sep 14, 2010 | ||
| #353 | "undo last proof command" does not work at the end of theory | 1:pg-eclipse | defect | David Aspinall | new | Sep 14, 2010 | ||
| #260 | Path names with spaces are not decoded property on search path | 4:prover-isabelle | defect | David Aspinall | new | Nov 27, 2008 | ||
| #259 | Parsing Failure at ends of files | 1:pg-eclipse | defect | Graham Dutton | closed | Nov 19, 2008 | ||
| #256 | Use prover-specific Preference Initialisers | 1:pg-eclipse | defect | David Aspinall | new | Oct 2, 2008 | ||
| #255 | Refactor concurrency handling for document | 1:pg-eclipse | defect | David Aspinall | new | Sep 15, 2008 | ||
| #254 | a spam ticket | 2:pg-emacs | defect | Graham Dutton | closed | Sep 11, 2008 | ||
| #253 | Refactor to allow more converter objects, investigate conversion mechanisms | 1:pg-eclipse | defect | David Aspinall | closed | Sep 11, 2008 | ||
| #252 | Tune script management markers | 1:pg-eclipse | defect | David Aspinall | new | Sep 8, 2008 | ||
| #251 | Exception in editor startup | 1:pg-eclipse | defect | David Aspinall | new | Sep 6, 2008 | ||
| #250 | Interrupt causes document inconsistency | 1:pg-eclipse | defect | David Aspinall | assigned | Sep 5, 2008 | ||
| #249 | Script management error for locales; undo action failure should not generate markers | 1:pg-eclipse | David Aspinall | assigned | Sep 4, 2008 | |||
| #248 | Clear error markers at correct points (e.g., when processing text successfully) | 1:pg-eclipse | Graham Dutton | closed | Sep 4, 2008 | |||
| #247 | Proof Objects view (IdView) is broken | 1:pg-eclipse | defect | David Aspinall | new | Sep 4, 2008 | ||
| #246 | Fix ProofScriptDocument partitionChangeBroadcast | 1:pg-eclipse | defect | David Aspinall | new | Sep 4, 2008 | ||
| #245 | Script management: parsing protocol error | 1:pg-eclipse | David Aspinall | closed | Sep 3, 2008 | |||
| #244 | Comical giant icons in outline view | 1:pg-eclipse | defect | Graham Dutton | assigned | Sep 1, 2008 | ||
| #243 | Parsing errors: whitespace lost in parseresult | 1:pg-eclipse | defect | David Aspinall | new | Aug 31, 2008 | ||
| #242 | Fix intro configuration (welcome page) | 1:pg-eclipse | enhancement | Graham Dutton | closed | Aug 25, 2008 | ||
| #241 | Fix link parse and undo for <whitespace> elements. | 1:pg-eclipse | David Aspinall | closed | Aug 18, 2008 |
Note:
See TracReports for help on using and creating reports.
