{3} Active Tickets by Milestone (149 matches)
This report shows how to color results by priority, while grouping results by milestone.
Last modification time, description and reporter are included as hidden fields for useful RSS export.
Results (101 - 149 of 149)
(empty) (9 matches)
Ticket | Summary | Component | Version | Type | Owner | Status | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#17 | Add clear button for prover output | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Jan 30, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#23 | Test and refine capabilities/activities | 1:pg-eclipse | enhancement | Graham Dutton | new | Jan 30, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#43 | Improve output markup (pgml.xsl) | 1:pg-eclipse | enhancement | Graham Dutton | assigned | Jan 30, 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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#158 | cursor positioning is wrong when sending commands | 1:pg-eclipse | enhancement | Graham Dutton | accepted | Oct 9, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#38 | Add automated testing framework | 1:pg-eclipse | enhancement | alex heneveld | new | Jan 30, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#64 | Decide what to do with ProverStandalone | 1:pg-eclipse | task | alex heneveld | new | Feb 3, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#3 | Improve code quality: address J2SE best practices in TPTP analysis | 1:pg-eclipse | task | somebody | new | Jan 26, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Release (3 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Version | Type | Owner | Status | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#194 | Fix links on web pages and odd mime types for linked files under releases | 6:web-and-docs | defect | David Aspinall | new | Feb 1, 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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PG-Emacs-4.3 Release (35 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Version | Type | Owner | Status | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#351 | Show/hide of proofs in Coq can hide too much | 2:pg-emacs | defect | David Aspinall | accepted | Sep 8, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#377 | Electric-terminator mode next line movement changed | 2:pg-emacs | defect | David Aspinall | reopened | Oct 11, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#448 | Repair autotest load sequence so works in compiled and interpreted code | 2:pg-emacs | defect | David Aspinall | accepted | Sep 2, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#456 | initialization failure with defpacustom :eval | 2:pg-emacs | defect | David Aspinall | new | Nov 13, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#498 | coq-compile-before-require should allow non-source installations | 7:prover-coq | defect | David Aspinall | new | Oct 11, 2014 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#169 | Complete buffer history enhancement | 2:pg-emacs | enhancement | David Aspinall | assigned | Dec 13, 2007 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#273 | next-error functions: document and streamline | 2:pg-emacs | enhancement | David Aspinall | accepted | Aug 20, 2009 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#429 | Coq should support *trace* buffer for idtac output | 2:pg-emacs | enhancement | David Aspinall | reopened | Nov 7, 2011 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#276 | Unicode tokens: resolve font-lock issues, optimise | 2:pg-emacs | task | David Aspinall | accepted | Aug 28, 2009 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#367 | Fix web pages and update screenshots | 2:pg-emacs | task | David Aspinall | accepted | Oct 4, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#425 | Consider simplifying span amalgamation to match prover undo behaviour | 2:pg-emacs | task | David Aspinall | accepted | Sep 19, 2011 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#336 | Toolbar images on Mac Emacsen are super-ugly | 2:pg-emacs | defect | David Aspinall | reopened | Aug 17, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#385 | Isabelle theorem dependencies display broken | 2:pg-emacs | defect | David Aspinall | accepted | Jan 23, 2011 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#401 | Parser cache does not respect fly-past-comments | 2:pg-emacs | defect | David Aspinall | accepted | May 16, 2011 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#464 | proof script not displayed after startup | 2:pg-emacs | defect | David Aspinall | new | Feb 19, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#465 | proof script not displayed after startup | 2:pg-emacs | defect | David Aspinall | new | Feb 19, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#480 | [match]es sometimes screw up indentation | 2:pg-emacs | defect | David Aspinall | new | Jul 13, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#481 | proof-set-value does not handle errors in :eval forms of defpacustom | 2:pg-emacs | defect | David Aspinall | new | Jul 17, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#483 | ltac: and constr: should not affect indentation | 2:pg-emacs | defect | David Aspinall | new | Aug 27, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#490 | Bad parsing of .} | 2:pg-emacs | defect | David Aspinall | new | Mar 11, 2014 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#496 | Aquamacs point moving | 2:pg-emacs | defect | David Aspinall | new | Sep 6, 2014 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#497 | coq auto-compile and spaces in directory names lead to failure | 2:pg-emacs | defect | David Aspinall | new | Oct 4, 2014 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#499 | delays between coq messages can cause PG to duplicate some | 2:pg-emacs | defect | David Aspinall | new | Jan 3, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#501 | wrongly embedded pathname in ProofGeneral-4.3pre150202 | 2:pg-emacs | defect | David Aspinall | new | Feb 14, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#507 | PG for Coq does not interpret quotes within comments like Coq does | 2:pg-emacs | defect | David Aspinall | new | Aug 29, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#508 | The option -emacs-U is depracated Proof General should use -emacs instead. | 2:pg-emacs | defect | David Aspinall | new | Oct 21, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#509 | isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. | 2:pg-emacs | defect | David Aspinall | new | Feb 2, 2016 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#510 | coq-time-commands hangs on bullets with Coq-8.5 | 2:pg-emacs | defect | David Aspinall | new | Mar 15, 2016 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#208 | Generalise Coq's modeline subgoal counter for other provers | 2:pg-emacs | enhancement | David Aspinall | accepted | Jun 13, 2008 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#506 | Please add Proof IDE support to emacs PG | 2:pg-emacs | enhancement | David Aspinall | new | Jun 3, 2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#514 | Emacs org-mode integration | 2:pg-emacs | enhancement | David Aspinall | new | Aug 1, 2022 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#361 | Generic adjustment of prover's pretty-printing width | 2:pg-emacs | task | David Aspinall | accepted | Oct 1, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#457 | Remove/invoke proof-shell-pre-interrupt-hook | 2:pg-emacs | task | David Aspinall | new | Nov 14, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#364 | Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) | 2:pg-emacs | task | David Aspinall | accepted | Oct 1, 2010 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#454 | coq mode: compile before import fails when no .v file | 2:pg-emacs | enhancement | hendrik | assigned | Oct 2, 2012 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PG-Emacs-4.4 Release (2 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Version | Type | Owner | Status | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#462 | Improve library bundling | 2:pg-emacs | defect | David Aspinall | new | Jan 28, 2013 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#513 | Splash screen disappears too quickly | 2:pg-emacs | defect | David Aspinall | new | May 3, 2016 |
Note:
See TracReports for help on using and creating reports.