{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 |
|---|---|---|---|---|---|---|---|
| #95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #21 | Refactor to remove DummyDocElement | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #10 | Refactor and enhance document model | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | |
| #22 | Refactor SessionManager | 1:pg-eclipse | enhancement | David Aspinall | assigned | Jan 30, 2007 | |
| #53 | Re-implement toolbar button enablers | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #37 | ProverKnowledge updates and improvements | 1:pg-eclipse | enhancement | 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 | |
| #12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #55 | Parsing whole file is costly; lazy "gathering" parser strategy is flawed | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
| #62 | PGIP console displays messages out-of-order; should allow hiding packets | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | |
| #85 | Outline view improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 27, 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 | |
| #66 | Make parser more robust and suggest likely causes of error | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | |
| #61 | Make Proof Objects view into standalone RCP application | 1:pg-eclipse | task | David Aspinall | new | Feb 3, 2007 | |
| #82 | Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty | 1:pg-eclipse | task | David Aspinall | new | Feb 25, 2007 | |
| #81 | Investigate use of Computer Modern Unicode font | 1:pg-eclipse | task | 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 | |
| #79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | |
| #80 | Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | |
| #43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | |
| #60 | Improve icons throughout | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 1, 2007 | |
| #3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | |
| #40 | Implement document regions and annotations/markers for colouring | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #35 | Implement Java PGIP abstraction, independently of Eclipse code | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #58 | Hangs during shutdown | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
| #90 | Folding Improvements | 1:pg-eclipse | defect | David Aspinall | new | Feb 28, 2007 | |
| #72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Feb 7, 2007 | |
| #33 | Fix interrupts: interrupt crashes prover and interrupt ineffective | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #9 | Fix history in output view | 1:pg-eclipse | defect | David Aspinall | new | Jan 29, 2007 | |
| #42 | Extract Isabelle-specific behaviour; design prover extension point | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #46 | Extra view for Problem Details | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #34 | Event processing cleanups | 1:pg-eclipse | task | David Aspinall | assigned | Jan 30, 2007 | |
| #27 | Efficiency problems with larger files and larger outputs | 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 | |
| #64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Feb 3, 2007 | |
| #14 | Concurrency fixes | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
| #47 | Complete configuration of <lexicalsyntax> elements | 1:pg-eclipse | enhancement | David Aspinall | assigned | 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 | |
| #11 | Builder for parsing/proving files automatically | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | |
| #87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Feb 27, 2007 | |
| #32 | Add some user documentation | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | |
| #13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 | |
| #51 | Add processing direction to 'active script' decorator | 1:pg-eclipse | enhancement | anonymous | new | Feb 1, 2007 | |
| #18 | Add hover for prover output (on any blue space) | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
| #17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Jan 30, 2007 | |
| #38 | Add automated testing framework | 1:pg-eclipse | enhancement | alex heneveld | new | Jan 30, 2007 | |
| #97 | Add Pretty.markup to parse tree output | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 |
Note:
See TracReports for help on using and creating reports.
