{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)

← 1 2

(empty) (9 matches)

Ticket Summary Component Version Type Owner Status Created
#149 Unify batch and incremental mode of processing 4:prover-isabelle defect David Aspinall new Sep 16, 2007
#125 Use <askprefs> message to configure prover-specific preferences 1:pg-eclipse enhancement Graham Dutton new Jul 5, 2007
#122 Use Batch Build Command and Project Batch Build Command 1:pg-eclipse enhancement David Aspinall new Jul 5, 2007
#65 Use FindBugs to detect possible bugs 1:pg-eclipse task David Aspinall new Feb 3, 2007
#19 Use markers/positions for document processed and locked offsets 1:pg-eclipse defect David Aspinall new Jan 30, 2007
#256 Use prover-specific Preference Initialisers 1:pg-eclipse defect David Aspinall new Oct 2, 2008
#45 Use workbench progress feedbacks; provide busy indications 1:pg-eclipse enhancement David Aspinall new Jan 30, 2007
#158 cursor positioning is wrong when sending commands 1:pg-eclipse enhancement Graham Dutton accepted Oct 9, 2007
#354 synchronisation lost with "process rest" and "undo" 1:pg-eclipse defect David Aspinall new Sep 14, 2010

Release (3 matches)

Ticket Summary Component Version Type Owner Status Created
#488 Display of Ltac debugging mode 2:pg-emacs enhancement David Aspinall new Jan 9, 2014
#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

PG-Emacs-4.3 Release (35 matches)

Ticket Summary Component Version Type Owner Status Created
#496 Aquamacs point moving 2:pg-emacs defect David Aspinall new Sep 6, 2014
#490 Bad parsing of .} 2:pg-emacs defect David Aspinall new Mar 11, 2014
#169 Complete buffer history enhancement 2:pg-emacs enhancement David Aspinall assigned Dec 13, 2007
#425 Consider simplifying span amalgamation to match prover undo behaviour 2:pg-emacs task David Aspinall accepted Sep 19, 2011
#429 Coq should support *trace* buffer for idtac output 2:pg-emacs enhancement David Aspinall reopened Nov 7, 2011
#377 Electric-terminator mode next line movement changed 2:pg-emacs defect David Aspinall reopened Oct 11, 2010
#514 Emacs org-mode integration 2:pg-emacs enhancement David Aspinall new Aug 1, 2022
#367 Fix web pages and update screenshots 2:pg-emacs task David Aspinall accepted Oct 4, 2010
#208 Generalise Coq's modeline subgoal counter for other provers 2:pg-emacs enhancement David Aspinall accepted Jun 13, 2008
#361 Generic adjustment of prover's pretty-printing width 2:pg-emacs task David Aspinall accepted Oct 1, 2010
#385 Isabelle theorem dependencies display broken 2:pg-emacs defect David Aspinall accepted Jan 23, 2011
#507 PG for Coq does not interpret quotes within comments like Coq does 2:pg-emacs defect David Aspinall new Aug 29, 2015
#401 Parser cache does not respect fly-past-comments 2:pg-emacs defect David Aspinall accepted May 16, 2011
#506 Please add Proof IDE support to emacs PG 2:pg-emacs enhancement David Aspinall new Jun 3, 2015
#457 Remove/invoke proof-shell-pre-interrupt-hook 2:pg-emacs task David Aspinall new Nov 14, 2012
#448 Repair autotest load sequence so works in compiled and interpreted code 2:pg-emacs defect David Aspinall accepted Sep 2, 2012
#351 Show/hide of proofs in Coq can hide too much 2:pg-emacs defect David Aspinall accepted Sep 8, 2010
#508 The option -emacs-U is depracated Proof General should use -emacs instead. 2:pg-emacs defect David Aspinall new Oct 21, 2015
#336 Toolbar images on Mac Emacsen are super-ugly 2:pg-emacs defect David Aspinall reopened Aug 17, 2010
#276 Unicode tokens: resolve font-lock issues, optimise 2:pg-emacs task David Aspinall accepted Aug 28, 2009
#364 Unify proof-query-identifier and pg-identifier-near-point-query (cleanup) 2:pg-emacs task David Aspinall accepted Oct 1, 2010
#480 [match]es sometimes screw up indentation 2:pg-emacs defect David Aspinall new Jul 13, 2013
#497 coq auto-compile and spaces in directory names lead to failure 2:pg-emacs defect David Aspinall new Oct 4, 2014
#454 coq mode: compile before import fails when no .v file 2:pg-emacs enhancement hendrik assigned Oct 2, 2012
#498 coq-compile-before-require should allow non-source installations 7:prover-coq defect David Aspinall new Oct 11, 2014
#510 coq-time-commands hangs on bullets with Coq-8.5 2:pg-emacs defect David Aspinall new Mar 15, 2016
#499 delays between coq messages can cause PG to duplicate some 2:pg-emacs defect David Aspinall new Jan 3, 2015
#456 initialization failure with defpacustom :eval 2:pg-emacs defect David Aspinall new Nov 13, 2012
#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
#483 ltac: and constr: should not affect indentation 2:pg-emacs defect David Aspinall new Aug 27, 2013
#273 next-error functions: document and streamline 2:pg-emacs enhancement David Aspinall accepted Aug 20, 2009
#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
#481 proof-set-value does not handle errors in :eval forms of defpacustom 2:pg-emacs defect David Aspinall new Jul 17, 2013
#501 wrongly embedded pathname in ProofGeneral-4.3pre150202 2:pg-emacs defect David Aspinall new Feb 14, 2015

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
← 1 2
Note: See TracReports for help on using and creating reports.