{6} All Tickets By Milestone (Including closed) (510 matches)
A more complex example to show how to make advanced reports.
Results (401 - 500 of 510)
(empty) (100 matches)
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified |
---|---|---|---|---|---|---|---|---|---|
#108 | Support proof object searching via search dialog | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#122 | Use Batch Build Command and Project Batch Build Command | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#125 | Use <askprefs> message to configure prover-specific preferences | 1:pg-eclipse | new | enhancement | major | Graham Dutton | Apr 16, 2013 | ||
#127 | Fix Action Bar active editor switching; simplify actions | 1:pg-eclipse | assigned | defect | major | David Aspinall | Apr 16, 2013 | ||
#132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | new | task | major | Graham Dutton | Apr 16, 2013 | ||
#134 | Generalise lexing to better match Isar syntax | 1:pg-eclipse | assigned | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#135 | Quick diff symbol decoding broken | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#136 | Add compare support for proof scripts | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#142 | New parsescript code in pgip_parser.ML is broken | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#145 | PGIP parser: add string tokens for categories | 4:prover-isabelle | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#146 | Add "sendback" messages to match behaviour added to PG Emacs | 5:PGIP-design | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#147 | Add support for (static) code templates inside Isabelle | 4:prover-isabelle | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#148 | Add "continual validation" mode to PGIP | 5:PGIP-design | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#149 | Unify batch and incremental mode of processing | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#151 | Make interface multiple-thread aware | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#243 | Parsing errors: whitespace lost in parseresult | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#247 | Proof Objects view (IdView) is broken | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#353 | "undo last proof command" does not work at the end of theory | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#9 | Fix history in output view | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#11 | Builder for parsing/proving files automatically | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#13 | Add proof object search facilities to IdView | 1:pg-eclipse | assigned | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#17 | Add clear button for prover output | 1:pg-eclipse | accepted | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#18 | Add hover for prover output (on any blue space) | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#22 | Refactor SessionManager | 1:pg-eclipse | assigned | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#23 | Test and refine capabilities/activities | 1:pg-eclipse | new | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#25 | Review in-code TODO and FIXME tasks | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#29 | Symbol table editing scheme: fix filename and add edit action rather than create | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#31 | Decorators not always updated | 1:pg-eclipse | new | defect | minor | Graham Dutton | Apr 16, 2013 | ||
#32 | Add some user documentation | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#39 | Code cleanups: use tag CLEANUP for old code prior to removal | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | assigned | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#46 | Extra view for Problem Details | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#51 | Add processing direction to 'active script' decorator | 1:pg-eclipse | new | enhancement | minor | anonymous | Apr 16, 2013 | ||
#53 | Re-implement toolbar button enablers | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#57 | Symbol table editor problems: doesn't report correct status, apply is very slow | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#58 | Hangs during shutdown | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#59 | Remove/check through OLD_BUG_LIST.txt | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#60 | Improve icons throughout | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#61 | Make Proof Objects view into standalone RCP application | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#62 | PGIP console displays messages out-of-order; should allow hiding packets | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#64 | Decide what to do with ProverStandalone | 1:pg-eclipse | new | task | minor | alex heneveld | Apr 16, 2013 | ||
#72 | Fix prover state indicator | 1:pg-eclipse | new | defect | minor | Graham Dutton | Apr 16, 2013 | ||
#80 | Improve symbols/character display: allow superscript, subscript (and maybe bold, italic, colours, ...) | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#81 | Investigate use of Computer Modern Unicode font | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#82 | Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty | 1:pg-eclipse | new | task | minor | David Aspinall | Apr 16, 2013 | ||
#85 | Outline view improvements | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#89 | Remove tabs from Isabelle source files (theories, at least) | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#94 | Selecting print mode via interface | 5:PGIP-design | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#96 | Start/stop quiet: disable these and use statedisplay instead | 4:prover-isabelle | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#97 | Add Pretty.markup to parse tree output | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#102 | Simplify message model according to new RNC, change Isabelle to match | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#104 | Add preference listener to ProofScriptDocument | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#105 | Preference handling refactor: add description text preferences, use those for display, remove ids | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#107 | Support text file searching with symbol encoding/decoding | 1:pg-eclipse | new | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#130 | Add project batch builder | 1:pg-eclipse | new | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#133 | Enhance proof project nature: add proof project preference, use prover-specifics | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#144 | Build a hybrid top level that removes PG specific one | 4:prover-isabelle | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#150 | Remove use of PGIP message datatypes | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | accepted | enhancement | minor | Graham Dutton | Apr 16, 2013 | ||
#239 | Remove reliance on dom4j | 1:pg-eclipse | new | enhancement | minor | David Aspinall | Apr 16, 2013 | ||
#240 | Bad behaviour in startup when proof executables (isabelle, isatool) not found | 1:pg-eclipse | assigned | defect | minor | Graham Dutton | Apr 16, 2013 | ||
#244 | Comical giant icons in outline view | 1:pg-eclipse | assigned | defect | minor | Graham Dutton | Apr 16, 2013 | ||
#256 | Use prover-specific Preference Initialisers | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#260 | Path names with spaces are not decoded property on search path | 4:prover-isabelle | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#354 | synchronisation lost with "process rest" and "undo" | 1:pg-eclipse | new | defect | minor | David Aspinall | Apr 16, 2013 | ||
#92 | Attempt recovery from XML parse errors in PGIP main loop | 4:prover-isabelle | closed | duplicate | defect | minor | David Aspinall | Apr 16, 2013 | |
#242 | Fix intro configuration (welcome page) | 1:pg-eclipse | closed | fixed | enhancement | major | Graham Dutton | Apr 16, 2013 | |
#7 | Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. | 1:pg-eclipse | closed | fixed | enhancement | major | Graham Dutton | Apr 16, 2013 | |
#71 | Add Error Decoration to documents; optimise Active Script Decoration | 1:pg-eclipse | closed | fixed | enhancement | major | Graham Dutton | Apr 16, 2013 | |
#78 | Preferences: support dynamically computed defaults | 1:pg-eclipse | closed | fixed | enhancement | trivial | David Aspinall | Apr 16, 2013 | |
#91 | PGML: add markup for subscript, superscript, bold, ... | 5:PGIP-design | closed | fixed | defect | major | David Aspinall | Apr 16, 2013 | |
#253 | Refactor to allow more converter objects, investigate conversion mechanisms | 1:pg-eclipse | closed | fixed | defect | major | David Aspinall | Apr 16, 2013 | |
#6 | Add code folding for proof scripts | 1:pg-eclipse | closed | fixed | enhancement | major | David Aspinall | Apr 16, 2013 | |
#8 | Cleanup active script handling in actions | 1:pg-eclipse | closed | fixed | defect | minor | David Aspinall | Apr 16, 2013 | |
#15 | Concurrency fixes in GetCommandResponseAction | 1:pg-eclipse | closed | fixed | defect | minor | David Aspinall | Apr 16, 2013 | |
#16 | Move cursor and scroll during do/undo | 1:pg-eclipse | closed | fixed | defect | major | Graham Dutton | Apr 16, 2013 | |
#20 | Fix ProofScriptEditor to change symbols cleanly | 1:pg-eclipse | closed | fixed | defect | major | David Aspinall | Apr 16, 2013 | |
#24 | Replace current undo management with document-based undo mechanism | 1:pg-eclipse | closed | fixed | defect | blocker | David Aspinall | Apr 16, 2013 | |
#28 | Newlines in PGIP console are lost | 1:pg-eclipse | closed | worksforme | defect | minor | David Aspinall | Apr 16, 2013 | |
#30 | Outline view should update after any parse | 1:pg-eclipse | closed | fixed | defect | minor | Graham Dutton | Apr 16, 2013 | |
#36 | Split stream for console into input/output and give input a different colour. | 1:pg-eclipse | closed | fixed | enhancement | minor | David Aspinall | Apr 16, 2013 | |
#49 | Make sure File->Open produces sensible feedback when attempted with script files | 1:pg-eclipse | closed | fixed | defect | minor | David Aspinall | Apr 16, 2013 | |
#50 | Make sure PG perspective is default on product startup. | documentation | closed | fixed | defect | major | David Aspinall | Apr 16, 2013 | |
#56 | PGActions do not always clear their status (report "someone else owns the prover") | 1:pg-eclipse | closed | fixed | defect | major | David Aspinall | Apr 16, 2013 | |
#63 | Improve symbols: fill out default table, add ascii-symbol completion | 1:pg-eclipse | closed | fixed | enhancement | major | David Aspinall | Apr 16, 2013 | |
#69 | PGMarkerMethods: skip spaces in document before error marker start | 1:pg-eclipse | closed | fixed | defect | minor | Graham Dutton | Apr 16, 2013 | |
#70 | Add documentation for developer-recommended plugins | 6:web-and-docs | closed | fixed | task | major | David Aspinall | Apr 16, 2013 | |
#83 | Fix script parsing to produce reliable and speedy <parseresult> outputs | 4:prover-isabelle | closed | fixed | defect | critical | David Aspinall | Apr 16, 2013 | |
#84 | Remove double-quoted XML output from term display | 4:prover-isabelle | closed | fixed | defect | blocker | David Aspinall | Apr 16, 2013 | |
#86 | Fix parse edit offset | 1:pg-eclipse | closed | fixed | defect | blocker | alex heneveld | Apr 16, 2013 | |
#124 | Edited text doesn't update document model | 1:pg-eclipse | closed | fixed | defect | blocker | alex heneveld | Apr 16, 2013 | |
#126 | Repair symbol handling | 1:pg-eclipse | closed | fixed | defect | blocker | David Aspinall | Apr 16, 2013 | |
#128 | Navigator view broken | 1:pg-eclipse | closed | invalid | defect | major | David Aspinall | Apr 16, 2013 | |
#131 | Add preference setting for interrupt command | 1:pg-eclipse | closed | fixed | enhancement | minor | David Aspinall | Apr 16, 2013 | |
#139 | Prover not started when run from Product | 1:pg-eclipse | closed | fixed | defect | critical | Graham Dutton | Apr 16, 2013 | |
#143 | Add XML/PGIP test scripts to Isabelle/Admin distribution | 4:prover-isabelle | closed | fixed | enhancement | major | David Aspinall | Apr 16, 2013 | |
#153 | is "proof state" view needed anymore? | 1:pg-eclipse | closed | fixed | task | minor | David Aspinall | Apr 16, 2013 | |
#154 | "restart" doesn't work | 1:pg-eclipse | closed | fixed | defect | major | alex heneveld | Apr 16, 2013 |
Note:
See TracReports for help on using and creating reports.