{14} Active Tickets ordered by change time (149 matches)
- List all active tickets by priority.
- Color each row based on priority.
Results (101 - 149 of 149)
Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Modified |
---|---|---|---|---|---|---|---|---|
#256 | Use prover-specific Preference Initialisers | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#37 | ProverKnowledge updates and improvements | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#135 | Quick diff symbol decoding broken | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#246 | Fix ProofScriptDocument partitionChangeBroadcast | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#247 | Proof Objects view (IdView) is broken | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#249 | Script management error for locales; undo action failure should not generate markers | 1:pg-eclipse | David Aspinall | assigned | Apr 16, 2013 | |||
#250 | Interrupt causes document inconsistency | 1:pg-eclipse | defect | David Aspinall | assigned | Apr 16, 2013 | ||
#251 | Exception in editor startup | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#252 | Tune script management markers | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#255 | Refactor concurrency handling for document | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#353 | "undo last proof command" does not work at the end of theory | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#354 | synchronisation lost with "process rest" and "undo" | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#465 | proof script not displayed after startup | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Feb 19, 2013 | |
#464 | proof script not displayed after startup | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Feb 19, 2013 | |
#457 | Remove/invoke proof-shell-pre-interrupt-hook | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | new | Nov 14, 2012 | |
#208 | Generalise Coq's modeline subgoal counter for other provers | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | accepted | Sep 25, 2012 | |
#273 | next-error functions: document and streamline | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | accepted | Sep 25, 2012 | |
#448 | Repair autotest load sequence so works in compiled and interpreted code | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | accepted | Sep 14, 2012 | |
#401 | Parser cache does not respect fly-past-comments | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | accepted | Aug 14, 2012 | |
#336 | Toolbar images on Mac Emacsen are super-ugly | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | reopened | Aug 14, 2012 | |
#385 | Isabelle theorem dependencies display broken | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | accepted | Aug 14, 2012 | |
#351 | Show/hide of proofs in Coq can hide too much | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | accepted | Aug 9, 2012 | |
#367 | Fix web pages and update screenshots | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Aug 9, 2012 | |
#425 | Consider simplifying span amalgamation to match prover undo behaviour | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Apr 18, 2012 | |
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Apr 18, 2012 | |
#361 | Generic adjustment of prover's pretty-printing width | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Apr 18, 2012 | |
#169 | Complete buffer history enhancement | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | assigned | Apr 18, 2012 | |
#195 | Replace crufty PHP code for interpreting outline mode with some Javascript | 6:web-and-docs | enhancement | David Aspinall | new | Feb 22, 2010 | ||
#194 | Fix links on web pages and odd mime types for linked files under releases | 6:web-and-docs | defect | David Aspinall | new | Feb 22, 2010 | ||
#13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Apr 16, 2013 | ||
#87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#125 | Use <askprefs> message to configure prover-specific preferences | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Apr 16, 2013 | ||
#23 | Test and refine capabilities/activities | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#31 | Decorators not always updated | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Apr 16, 2013 | ||
#72 | Fix prover state indicator | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#77 | Partitioning: fix for correct lexical syntax of Isar | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#106 | Add support for status area message responses | 1:pg-eclipse | defect | Graham Dutton | new | Apr 16, 2013 | ||
#107 | Support text file searching with symbol encoding/decoding | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#130 | Add project batch builder | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | task | Graham Dutton | new | Apr 16, 2013 | ||
#158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Apr 16, 2013 | ||
#240 | Bad behaviour in startup when proof executables (isabelle, isatool) not found | 1:pg-eclipse | defect | Graham Dutton | assigned | Apr 16, 2013 | ||
#244 | Comical giant icons in outline view | 1:pg-eclipse | defect | Graham Dutton | assigned | Apr 16, 2013 | ||
#454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | PG-Emacs-4.3 | enhancement | hendrik | assigned | Jul 4, 2013 | |
#38 | Add automated testing framework | 1:pg-eclipse | enhancement | alex heneveld | new | Apr 16, 2013 | ||
#64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Apr 16, 2013 | ||
#3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Apr 16, 2013 |
Note:
See TracReports for help on using and creating reports.