{3} Active Tickets by Milestone (149 matches)
This report shows how to color results by priority, while grouping results by milestone.
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 |
|---|---|---|---|---|---|---|---|
| #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 | |
| #104 | Add preference listener to ProofScriptDocument | 1:pg-eclipse | defect | David Aspinall | new | Mar 17, 2007 | |
| #105 | Preference handling refactor: add description text preferences, use those for display, remove ids | 1:pg-eclipse | defect | David Aspinall | new | Mar 17, 2007 | |
| #150 | Remove use of PGIP message datatypes | 4:prover-isabelle | defect | David Aspinall | new | Sep 16, 2007 | |
| #240 | Bad behaviour in startup when proof executables (isabelle, isatool) not found | 1:pg-eclipse | defect | Graham Dutton | assigned | Aug 15, 2008 | |
| #244 | Comical giant icons in outline view | 1:pg-eclipse | defect | Graham Dutton | assigned | Sep 1, 2008 | |
| #256 | Use prover-specific Preference Initialisers | 1:pg-eclipse | defect | David Aspinall | new | Oct 2, 2008 | |
| #260 | Path names with spaces are not decoded property on search path | 4:prover-isabelle | defect | David Aspinall | new | Nov 27, 2008 | |
| #354 | synchronisation lost with "process rest" and "undo" | 1:pg-eclipse | defect | David Aspinall | new | Sep 14, 2010 | |
| #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 | |
| #107 | Support text file searching with symbol encoding/decoding | 1:pg-eclipse | enhancement | Graham Dutton | new | Mar 18, 2007 | |
| #130 | Add project batch builder | 1:pg-eclipse | enhancement | Graham Dutton | new | Jul 8, 2007 | |
| #133 | Enhance proof project nature: add proof project preference, use prover-specifics | 1:pg-eclipse | enhancement | David Aspinall | new | Jul 11, 2007 | |
| #144 | Build a hybrid top level that removes PG specific one | 4:prover-isabelle | enhancement | David Aspinall | new | Sep 14, 2007 | |
| #158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Oct 9, 2007 | |
| #239 | Remove reliance on dom4j | 1:pg-eclipse | enhancement | David Aspinall | new | Aug 14, 2008 | |
| #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.
