{6} All Tickets By Milestone (Including closed) (510 matches)
A more complex example to show how to make advanced reports.
Results (1 - 100 of 510)
(empty) (100 matches)
Ticket | Summary | Component | Status | Resolution | Version | Type | Priority | Owner | Modified |
---|---|---|---|---|---|---|---|---|---|
#250 | Interrupt causes document inconsistency | 1:pg-eclipse | assigned | defect | blocker | David Aspinall | Apr 16, 2013 | ||
#246 | Fix ProofScriptDocument partitionChangeBroadcast | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#249 | Script management error for locales; undo action failure should not generate markers | 1:pg-eclipse | assigned | critical | David Aspinall | Apr 16, 2013 | |||
#251 | Exception in editor startup | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#252 | Tune script management markers | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#255 | Refactor concurrency handling for document | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#73 | Enhancements for Proof Objects view | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#75 | Proof Script Editor context menu improvements | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#76 | Add Prove-As-You-Type option | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#77 | Partitioning: fix for correct lexical syntax of Isar | 1:pg-eclipse | new | defect | major | Graham Dutton | Apr 16, 2013 | ||
#106 | Add support for status area message responses | 1:pg-eclipse | new | defect | major | Graham Dutton | Apr 16, 2013 | ||
#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 | ||
#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 | ||
#242 | Fix intro configuration (welcome page) | 1:pg-eclipse | closed | fixed | enhancement | major | Graham Dutton | 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 | |
#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 | |
#155 | sending past end doesn't work quite right ("undo" fails, maybe more) | 1:pg-eclipse | closed | fixed | defect | minor | David Aspinall | Apr 16, 2013 | |
#156 | closing an active editor doesn't work (buggy or confusing PGRetargetableAction.setBusy()) | 1:pg-eclipse | closed | fixed | defect | blocker | David Aspinall | Apr 16, 2013 | |
#157 | undo sometimes incorrectly tries to undo a larger container than is appropriate | 1:pg-eclipse | closed | duplicate | defect | critical | David Aspinall | Apr 16, 2013 | |
#238 | Remove goto thread | 1:pg-eclipse | closed | fixed | defect | major | Graham Dutton | Apr 16, 2013 | |
#241 | Fix link parse and undo for <whitespace> elements. | 1:pg-eclipse | closed | fixed | blocker | David Aspinall | Apr 16, 2013 | ||
#245 | Script management: parsing protocol error | 1:pg-eclipse | closed | fixed | blocker | David Aspinall | Apr 16, 2013 | ||
#248 | Clear error markers at correct points (e.g., when processing text successfully) | 1:pg-eclipse | closed | fixed | major | Graham Dutton | Apr 16, 2013 | ||
#254 | a spam ticket | 2:pg-emacs | closed | invalid | defect | major | Graham Dutton | Apr 16, 2013 | |
#259 | Parsing Failure at ends of files | 1:pg-eclipse | closed | fixed | defect | major | Graham Dutton | Apr 16, 2013 | |
#196 | Fix X-Symbol for Emacs 23 | 2:pg-emacs | closed | wontfix | defect | major | David Aspinall | Jul 23, 2010 | |
#14 | Concurrency fixes | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#38 | Add automated testing framework | 1:pg-eclipse | new | enhancement | critical | alex heneveld | Apr 16, 2013 | ||
#42 | Extract Isabelle-specific behaviour; design prover extension point | 1:pg-eclipse | new | enhancement | critical | David Aspinall | Apr 16, 2013 | ||
#66 | Make parser more robust and suggest likely causes of error | 1:pg-eclipse | new | defect | critical | David Aspinall | Apr 16, 2013 | ||
#3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | new | task | major | somebody | Apr 16, 2013 | ||
#5 | Replace ThreadPool with Eclipse job management | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#10 | Refactor and enhance document model | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#19 | Use markers/positions for document processed and locked offsets | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#21 | Refactor to remove DummyDocElement | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#26 | Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#27 | Efficiency problems with larger files and larger outputs | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#33 | Fix interrupts: interrupt crashes prover and interrupt ineffective | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#34 | Event processing cleanups | 1:pg-eclipse | assigned | task | major | David Aspinall | Apr 16, 2013 | ||
#35 | Implement Java PGIP abstraction, independently of Eclipse code | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#37 | ProverKnowledge updates and improvements | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#40 | Implement document regions and annotations/markers for colouring | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#41 | Revive GEF dependency graph viewer as a separate plugin | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#44 | Support openblock/closeblock elements in prover parse output. | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#45 | Use workbench progress feedbacks; provide busy indications | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#47 | Complete configuration of <lexicalsyntax> elements | 1:pg-eclipse | assigned | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#54 | Support file operations save-as, rename, revert properly during script management | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#55 | Parsing whole file is costly; lazy "gathering" parser strategy is flawed | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#65 | Use FindBugs to detect possible bugs | 1:pg-eclipse | new | task | major | David Aspinall | Apr 16, 2013 | ||
#79 | Improve symbols: support table inclusions; add Mac and Windows overrides | 1:pg-eclipse | new | enhancement | major | David Aspinall | Apr 16, 2013 | ||
#87 | Add support for indentation in proof script editor | 1:pg-eclipse | new | enhancement | major | Graham Dutton | Apr 16, 2013 | ||
#90 | Folding Improvements | 1:pg-eclipse | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#93 | Propagate position information in errors to make available to interface | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#98 | PGML changes: complete update for PGML 2.0 | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#99 | Reliable interrupts | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#100 | Make sure that large volumes of data can be handled by all parts of infrastructure | 4:prover-isabelle | new | defect | major | David Aspinall | Apr 16, 2013 | ||
#101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | new | enhancement | 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 |
Note:
See TracReports for help on using and creating reports.