{14} Active Tickets ordered by change time (149 matches)
- List all active tickets by priority.
- Color each row based on priority.
Results (1 - 100 of 149)
Ticket | Summary | Component | Version | Milestone | Type | Owner | Status | Modified |
---|---|---|---|---|---|---|---|---|
#276 | Unicode tokens: resolve font-lock issues, optimise | 2:pg-emacs | PG-Emacs-4.3 | task | David Aspinall | accepted | Apr 27, 2015 | |
#17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Apr 16, 2013 | ||
#158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Apr 16, 2013 | ||
#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 | |
#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 | |
#454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | PG-Emacs-4.3 | enhancement | hendrik | assigned | Jul 4, 2013 | |
#13 | Add proof object search facilities to IdView | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Apr 16, 2013 | ||
#22 | Refactor SessionManager | 1:pg-eclipse | enhancement | David Aspinall | assigned | Apr 16, 2013 | ||
#34 | Event processing cleanups | 1:pg-eclipse | task | David Aspinall | assigned | Apr 16, 2013 | ||
#43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Apr 16, 2013 | ||
#47 | Complete configuration of <lexicalsyntax> elements | 1:pg-eclipse | enhancement | David Aspinall | assigned | Apr 16, 2013 | ||
#127 | Fix Action Bar active editor switching; simplify actions | 1:pg-eclipse | defect | David Aspinall | assigned | Apr 16, 2013 | ||
#134 | Generalise lexing to better match Isar syntax | 1:pg-eclipse | enhancement | David Aspinall | assigned | 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 | ||
#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 | ||
#169 | Complete buffer history enhancement | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | assigned | Apr 18, 2012 | |
#514 | Emacs org-mode integration | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | new | Aug 1, 2022 | |
#513 | Splash screen disappears too quickly | 2:pg-emacs | PG-Emacs-4.4 | defect | David Aspinall | new | May 3, 2016 | |
#510 | coq-time-commands hangs on bullets with Coq-8.5 | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Mar 15, 2016 | |
#509 | isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Feb 2, 2016 | |
#496 | Aquamacs point moving | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Dec 9, 2015 | |
#508 | The option -emacs-U is depracated Proof General should use -emacs instead. | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Oct 21, 2015 | |
#499 | delays between coq messages can cause PG to duplicate some | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Oct 19, 2015 | |
#507 | PG for Coq does not interpret quotes within comments like Coq does | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Aug 29, 2015 | |
#506 | Please add Proof IDE support to emacs PG | 2:pg-emacs | PG-Emacs-4.3 | enhancement | David Aspinall | new | Jun 3, 2015 | |
#501 | wrongly embedded pathname in ProofGeneral-4.3pre150202 | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | May 7, 2015 | |
#498 | coq-compile-before-require should allow non-source installations | 7:prover-coq | PG-Emacs-4.3 | defect | David Aspinall | new | May 7, 2015 | |
#462 | Improve library bundling | 2:pg-emacs | PG-Emacs-4.4 | defect | David Aspinall | new | Mar 13, 2015 | |
#497 | coq auto-compile and spaces in directory names lead to failure | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Oct 4, 2014 | |
#490 | Bad parsing of .} | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Mar 11, 2014 | |
#488 | Display of Ltac debugging mode | 2:pg-emacs | enhancement | David Aspinall | new | Jan 9, 2014 | ||
#483 | ltac: and constr: should not affect indentation | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Aug 27, 2013 | |
#481 | proof-set-value does not handle errors in :eval forms of defpacustom | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Jul 17, 2013 | |
#480 | [match]es sometimes screw up indentation | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Jul 13, 2013 | |
#456 | initialization failure with defpacustom :eval | 2:pg-emacs | PG-Emacs-4.3 | defect | David Aspinall | new | Jul 4, 2013 | |
#61 | Make Proof Objects view into standalone RCP application | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#148 | Add "continual validation" mode to PGIP | 5:PGIP-design | defect | David Aspinall | new | Apr 16, 2013 | ||
#149 | Unify batch and incremental mode of processing | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#151 | Make interface multiple-thread aware | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#239 | Remove reliance on dom4j | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Apr 16, 2013 | ||
#25 | Review in-code TODO and FIXME tasks | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#39 | Code cleanups: use tag CLEANUP for old code prior to removal | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#65 | Use FindBugs to detect possible bugs | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#5 | Replace ThreadPool with Eclipse job management | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#10 | Refactor and enhance document model | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#11 | Builder for parsing/proving files automatically | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#12 | Polish Proof Objects View; Link to Prover Knowledge | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#14 | Concurrency fixes | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#18 | Add hover for prover output (on any blue space) | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#19 | Use markers/positions for document processed and locked offsets | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#32 | Add some user documentation | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#35 | Implement Java PGIP abstraction, independently of Eclipse code | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#38 | Add automated testing framework | 1:pg-eclipse | enhancement | alex heneveld | new | Apr 16, 2013 | ||
#40 | Implement document regions and annotations/markers for colouring | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#41 | Revive GEF dependency graph viewer as a separate plugin | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#42 | Extract Isabelle-specific behaviour; design prover extension point | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#44 | Support openblock/closeblock elements in prover parse output. | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#45 | Use workbench progress feedbacks; provide busy indications | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#46 | Extra view for Problem Details | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#51 | Add processing direction to 'active script' decorator | 1:pg-eclipse | enhancement | anonymous | new | Apr 16, 2013 | ||
#53 | Re-implement toolbar button enablers | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#54 | Support file operations save-as, rename, revert properly during script management | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#59 | Remove/check through OLD_BUG_LIST.txt | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#60 | Improve icons throughout | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#62 | PGIP console displays messages out-of-order; should allow hiding packets | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#66 | Make parser more robust and suggest likely causes of error | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#73 | Enhancements for Proof Objects view | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#76 | Add Prove-As-You-Type option | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#82 | Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty | 1:pg-eclipse | task | David Aspinall | new | Apr 16, 2013 | ||
#87 | Add support for indentation in proof script editor | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#89 | Remove tabs from Isabelle source files (theories, at least) | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#94 | Selecting print mode via interface | 5:PGIP-design | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#95 | Refine spuriouscmd into two: destructivecmd and diagnosticcmd | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#96 | Start/stop quiet: disable these and use statedisplay instead | 4:prover-isabelle | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#97 | Add Pretty.markup to parse tree output | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#99 | Reliable interrupts | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#100 | Make sure that large volumes of data can be handled by all parts of infrastructure | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#101 | Add scriptreplace and menu choice interaction | 5:PGIP-design | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#104 | Add preference listener to ProofScriptDocument | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#105 | Preference handling refactor: add description text preferences, use those for display, remove ids | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#108 | Support proof object searching via search dialog | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#122 | Use Batch Build Command and Project Batch Build Command | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#125 | Use <askprefs> message to configure prover-specific preferences | 1:pg-eclipse | enhancement | Graham Dutton | new | Apr 16, 2013 | ||
#133 | Enhance proof project nature: add proof project preference, use prover-specifics | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#136 | Add compare support for proof scripts | 1:pg-eclipse | enhancement | David Aspinall | new | Apr 16, 2013 | ||
#150 | Remove use of PGIP message datatypes | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#260 | Path names with spaces are not decoded property on search path | 4:prover-isabelle | defect | David Aspinall | new | Apr 16, 2013 | ||
#9 | Fix history in output view | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 | ||
#21 | Refactor to remove DummyDocElement | 1:pg-eclipse | defect | David Aspinall | new | Apr 16, 2013 |
Note:
See TracReports for help on using and creating reports.