{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 (1 - 100 of 149)
(empty) (100 matches)
Ticket | Summary | Component | Version | Type | Owner | Status | Created |
---|---|---|---|---|---|---|---|
#51 | Add processing direction to 'active script' decorator | 1:pg-eclipse | enhancement | anonymous | new | Feb 1, 2007 | |
#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 | ||
#14 | Concurrency fixes | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
#66 | Make parser more robust and suggest likely causes of error | 1:pg-eclipse | defect | David Aspinall | new | Feb 3, 2007 | |
#246 | Fix ProofScriptDocument partitionChangeBroadcast | 1:pg-eclipse | defect | David Aspinall | new | Sep 4, 2008 | |
#251 | Exception in editor startup | 1:pg-eclipse | defect | David Aspinall | new | Sep 6, 2008 | |
#252 | Tune script management markers | 1:pg-eclipse | defect | David Aspinall | new | Sep 8, 2008 | |
#255 | Refactor concurrency handling for document | 1:pg-eclipse | defect | David Aspinall | new | Sep 15, 2008 | |
#42 | Extract Isabelle-specific behaviour; design prover extension point | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 2007 | |
#19 | Use markers/positions for document processed and locked offsets | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
#21 | Refactor to remove DummyDocElement | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 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 | |
#27 | Efficiency problems with larger files and larger outputs | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
#33 | Fix interrupts: interrupt crashes prover and interrupt ineffective | 1:pg-eclipse | defect | David Aspinall | new | Jan 30, 2007 | |
#54 | Support file operations save-as, rename, revert properly during script management | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
#55 | Parsing whole file is costly; lazy "gathering" parser strategy is flawed | 1:pg-eclipse | defect | David Aspinall | new | Feb 1, 2007 | |
#90 | Folding Improvements | 1:pg-eclipse | defect | David Aspinall | new | Feb 28, 2007 | |
#93 | Propagate position information in errors to make available to interface | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
#98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 2007 | |
#99 | Reliable interrupts | 4:prover-isabelle | defect | David Aspinall | new | Mar 10, 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 | |
#127 | Fix Action Bar active editor switching; simplify actions | 1:pg-eclipse | defect | David Aspinall | assigned | Jul 7, 2007 | |
#135 | Quick diff symbol decoding broken | 1:pg-eclipse | defect | David Aspinall | new | Jul 19, 2007 | |
#142 | New parsescript code in pgip_parser.ML is broken | 4:prover-isabelle | defect | David Aspinall | new | Sep 14, 2007 | |
#148 | Add "continual validation" mode to PGIP | 5:PGIP-design | defect | David Aspinall | new | Sep 16, 2007 | |
#149 | Unify batch and incremental mode of processing | 4:prover-isabelle | defect | David Aspinall | new | Sep 16, 2007 | |
#151 | Make interface multiple-thread aware | 4:prover-isabelle | defect | David Aspinall | new | Sep 16, 2007 | |
#243 | Parsing errors: whitespace lost in parseresult | 1:pg-eclipse | defect | David Aspinall | new | Aug 31, 2008 | |
#247 | Proof Objects view (IdView) is broken | 1:pg-eclipse | defect | David Aspinall | new | Sep 4, 2008 | |
#353 | "undo last proof command" does not work at the end of theory | 1:pg-eclipse | defect | David Aspinall | new | Sep 14, 2010 | |
#5 | Replace ThreadPool with Eclipse job management | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 29, 2007 | |
#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 | |
#73 | Enhancements for Proof Objects view | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 17, 2007 | |
#75 | Proof Script Editor context menu improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 21, 2007 | |
#76 | Add Prove-As-You-Type option | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 21, 2007 | |
#79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | enhancement | David Aspinall | new | Feb 25, 2007 | |
#101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | enhancement | David Aspinall | new | Mar 10, 2007 | |
#108 | Support proof object searching via search dialog | 1:pg-eclipse | enhancement | David Aspinall | new | Mar 18, 2007 | |
#122 | Use Batch Build Command and Project Batch Build Command | 1:pg-eclipse | enhancement | David Aspinall | new | Jul 5, 2007 | |
#134 | Generalise lexing to better match Isar syntax | 1:pg-eclipse | enhancement | David Aspinall | assigned | Jul 19, 2007 | |
#136 | Add compare support for proof scripts | 1:pg-eclipse | enhancement | David Aspinall | new | Jul 19, 2007 | |
#145 | PGIP parser: add string tokens for categories | 4:prover-isabelle | enhancement | David Aspinall | new | Sep 14, 2007 | |
#146 | Add "sendback" messages to match behaviour added to PG Emacs | 5:PGIP-design | enhancement | David Aspinall | new | Sep 14, 2007 | |
#147 | Add support for (static) code templates inside Isabelle | 4:prover-isabelle | enhancement | David Aspinall | new | Sep 14, 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 | |
#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 | |
#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 | |
#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 | |
#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 | |
#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 | |
#46 | Extra view for Problem Details | 1:pg-eclipse | enhancement | David Aspinall | new | Jan 30, 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 | |
#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 | |
#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 | |
#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 | |
#77 | Partitioning: fix for correct lexical syntax of Isar | 1:pg-eclipse | defect | Graham Dutton | new | Feb 23, 2007 | |
#106 | Add support for status area message responses | 1:pg-eclipse | defect | Graham Dutton | new | Mar 18, 2007 | |
#87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Feb 27, 2007 | |
#125 | Use <askprefs> message to configure prover-specific preferences | 1:pg-eclipse | enhancement | Graham Dutton | new | Jul 5, 2007 | |
#132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | task | Graham Dutton | new | Jul 11, 2007 | |
#31 | Decorators not always updated | 1:pg-eclipse | defect | Graham Dutton | new | Jan 30, 2007 | |
#72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Feb 7, 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 | |
#13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 2007 |
Note:
See TracReports for help on using and creating reports.