{2} Active Tickets by Version (149 matches)
This report shows how to color results by priority, while grouping results by version.
Last modification time, description and reporter are included as hidden fields for useful RSS export.
Results (101 - 149 of 149)
(empty) (49 matches)
| Ticket | Summary | Component | Version | Type | Owner | Status | Created |
|---|---|---|---|---|---|---|---|
| #46 | Extra view for Problem Details | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #42 | Extract Isabelle-specific behaviour; design prover extension point | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #9 | Fix history in output view | 1:pg-eclipse | defect | David Aspinall | new | Jan 29, 2007 | |
| #33 | Fix interrupts: interrupt crashes prover and interrupt ineffective | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Feb 7, 2007 | |
| #90 | Folding Improvements | 1:pg-eclipse | defect | David Aspinall | new | Feb 28, 2007 | |
| #58 | Hangs during shutdown | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #35 | Implement Java PGIP abstraction, independently of Eclipse code | 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 | |
| #3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | |
| #60 | Improve icons throughout | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 1, 2007 | |
| #43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | |
| #80 | Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | |
| #79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | |
| #26 | Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 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 | |
| #61 | Make Proof Objects view into standalone RCP application | 1:pg-eclipse | task | David Aspinall | new | Feb 3, 2007 | |
| #66 | Make parser more robust and suggest likely causes of error | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | |
| #100 | Make sure that large volumes of data can be handled by all parts of infrastructure | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #85 | Outline view improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 27, 2007 | |
| #62 | PGIP console displays messages out-of-order; should allow hiding packets | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | |
| #98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #55 | Parsing whole file is costly; lazy "gathering" parser strategy is flawed | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #93 | Propagate position information in errors to make available to interface | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #37 | ProverKnowledge updates and improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #53 | Re-implement toolbar button enablers | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #22 | Refactor SessionManager | 1:pg-eclipse | enhancement | David Aspinall | assigned | Jan 30, 2007 | |
| #10 | Refactor and enhance document model | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | |
| #21 | Refactor to remove DummyDocElement | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #99 | Reliable interrupts | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #89 | Remove tabs from Isabelle source files (theories, at least) | 4:prover-isabelle | defect | David Aspinall | new | Feb 28, 2007 | |
| #59 | Remove/check through OLD_BUG_LIST.txt | 1:pg-eclipse | task | David Aspinall | new | Feb 1, 2007 | |
| #5 | Replace ThreadPool with Eclipse job management | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | |
| #25 | Review in-code TODO and FIXME tasks | 1:pg-eclipse | task | 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 | |
| #94 | Selecting print mode via interface | 5:PGIP-design | enhancement | 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 | |
| #96 | Start/stop quiet: disable these and use statedisplay instead | 4:prover-isabelle | enhancement | David Aspinall | new | Mar 10, 2007 | |
| #54 | Support file operations save-as, rename, revert properly during script management | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #44 | Support openblock/closeblock elements in prover parse output. | 1:pg-eclipse | enhancement | David Aspinall | 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 | |
| #57 | Symbol table editor problems: doesn't report correct status, apply is very slow | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #23 | Test and refine capabilities/activities | 1:pg-eclipse | enhancement | Graham Dutton | new | Jan 30, 2007 | |
| #65 | Use FindBugs to detect possible bugs | 1:pg-eclipse | task | David Aspinall | new | Feb 3, 2007 | |
| #19 | Use markers/positions for document processed and locked offsets | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #45 | Use workbench progress feedbacks; provide busy indications | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 |
Note:
See TracReports for help on using and creating reports.
