{1} Active Tickets (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 | Created |
---|---|---|---|---|---|---|---|---|
#147 | Add support for (static) code templates inside Isabelle | 4:prover-isabelle | enhancement | David Aspinall | new | Sep 14, 2007 | ||
#169 | Complete buffer history enhancement | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | assigned | Dec 13, 2007 | |
#273 | next-error functions: document and streamline | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | accepted | Aug 20, 2009 | |
#429 | Coq should support *trace* buffer for idtac output | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | reopened | Nov 7, 2011 | |
#454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | PG-Emacs-4.3 | enhancement | hendrik | assigned | Oct 2, 2012 | |
#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 | ||
#195 | Replace crufty PHP code for interpreting outline mode with some Javascript | 6:web-and-docs | enhancement | David Aspinall | new | Feb 1, 2008 | ||
#488 | Display of Ltac debugging mode | 2:pg-emacs | enhancement | David Aspinall | new | Jan 9, 2014 | ||
#208 | Generalise Coq's modeline subgoal counter for other provers | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | accepted | Jun 13, 2008 | |
#506 | Please add Proof IDE support to emacs PG | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | new | Jun 3, 2015 | |
#514 | Emacs org-mode integration | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | new | Aug 1, 2022 | |
#3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 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 | ||
#132 | Packaging for 1.0.6/3.4 releases | 1:pg-eclipse | task | Graham Dutton | new | Jul 11, 2007 | ||
#276 | Unicode tokens: resolve font-lock issues, optimise | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Aug 28, 2009 | |
#367 | Fix web pages and update screenshots | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Oct 4, 2010 | |
#425 | Consider simplifying span amalgamation to match prover undo behaviour | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Sep 19, 2011 | |
#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 | ||
#361 | Generic adjustment of prover's pretty-printing width | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Oct 1, 2010 | |
#457 | Remove/invoke proof-shell-pre-interrupt-hook | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | new | Nov 14, 2012 | |
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Oct 1, 2010 |
Note:
See TracReports for help on using and creating reports.