{1} Active Tickets (149 matches)
- List all active tickets by priority.
- Color each row based on priority.
Results (101 - 149 of 149)
| Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|---|
| #10 | Refactor and enhance document model | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | ||
| #35 | Implement Java PGIP abstraction, independently of Eclipse code | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #37 | ProverKnowledge updates and improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #40 | Implement document regions and annotations/markers for colouring | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #41 | Revive GEF dependency graph viewer as a separate plugin | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #44 | Support openblock/closeblock elements in prover parse output. | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #45 | Use workbench progress feedbacks; provide busy indications | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #47 | Complete configuration of <lexicalsyntax> elements | 1:pg-eclipse | enhancement | David Aspinall | assigned | Jan 30, 2007 | ||
| #79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | ||
| #87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Feb 27, 2007 | ||
| #101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | ||
| #34 | Event processing cleanups | 1:pg-eclipse | task | David Aspinall | assigned | Jan 30, 2007 | ||
| #65 | Use FindBugs to detect possible bugs | 1:pg-eclipse | task | David Aspinall | new | Feb 3, 2007 | ||
| #9 | Fix history in output view | 1:pg-eclipse | defect | David Aspinall | new | Jan 29, 2007 | ||
| #12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | ||
| #31 | Decorators not always updated | 1:pg-eclipse | defect | Graham Dutton | new | Jan 30, 2007 | ||
| #53 | Re-implement toolbar button enablers | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | ||
| #57 | Symbol table editor problems: doesn't report correct status, apply is very slow | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | ||
| #58 | Hangs during shutdown | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | ||
| #62 | PGIP console displays messages out-of-order; should allow hiding packets | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | ||
| #72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Feb 7, 2007 | ||
| #89 | Remove tabs from Isabelle source files (theories, at least) | 4:prover-isabelle | defect | David Aspinall | new | Feb 28, 2007 | ||
| #95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #97 | Add Pretty.markup to parse tree output | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #102 | Simplify message model according to new RNC, change Isabelle to match | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | ||
| #11 | Builder for parsing/proving files automatically | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | ||
| #13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | ||
| #17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Jan 30, 2007 | ||
| #18 | Add hover for prover output (on any blue space) | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #22 | Refactor SessionManager | 1:pg-eclipse | enhancement | David Aspinall | assigned | Jan 30, 2007 | ||
| #23 | Test and refine capabilities/activities | 1:pg-eclipse | enhancement | Graham Dutton | new | Jan 30, 2007 | ||
| #29 | Symbol table editing scheme: fix filename and add edit action rather than create | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #32 | Add some user documentation | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | ||
| #46 | Extra view for Problem Details | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | ||
| #51 | Add processing direction to 'active script' decorator | 1:pg-eclipse | enhancement | anonymous | new | Feb 1, 2007 | ||
| #60 | Improve icons throughout | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 1, 2007 | ||
| #80 | Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | ||
| #85 | Outline view improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 27, 2007 | ||
| #94 | Selecting print mode via interface | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #96 | Start/stop quiet: disable these and use statedisplay instead | 4:prover-isabelle | enhancement | David Aspinall | new | Mar 10, 2007 | ||
| #25 | Review in-code TODO and FIXME tasks | 1:pg-eclipse | task | David Aspinall | new | Jan 30, 2007 | ||
| #39 | Code cleanups: use tag CLEANUP for old code prior to removal | 1:pg-eclipse | task | David Aspinall | new | Jan 30, 2007 | ||
| #59 | Remove/check through OLD_BUG_LIST.txt | 1:pg-eclipse | task | David Aspinall | new | Feb 1, 2007 | ||
| #61 | Make Proof Objects view into standalone RCP application | 1:pg-eclipse | task | David Aspinall | new | Feb 3, 2007 | ||
| #64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Feb 3, 2007 | ||
| #81 | Investigate use of Computer Modern Unicode font | 1:pg-eclipse | task | David Aspinall | new | Feb 25, 2007 | ||
| #82 | Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty | 1:pg-eclipse | task | David Aspinall | new | Feb 25, 2007 |
Note:
See TracReports for help on using and creating reports.
