{12} Newest Tickets (20 matches)

20 Newest Tickets.

Ticket Summary Component Version Milestone Type Owner Status Created
#448 Repair autotest load sequence so works in compiled and interpreted code 2:pg-emacs PG-Emacs-4.3 defect David Aspinall accepted Sep 2, 2012
#425 Consider simplifying span amalgamation to match prover undo behaviour 2:pg-emacs PG-Emacs-4.3 task David Aspinall accepted Sep 19, 2011
#401 Parser cache does not respect fly-past-comments 2:pg-emacs PG-Emacs-4.3 defect David Aspinall accepted May 16, 2011
#385 Isabelle theorem dependencies display broken 2:pg-emacs PG-Emacs-4.3 defect David Aspinall accepted Jan 23, 2011
#367 Fix web pages and update screenshots 2:pg-emacs PG-Emacs-4.3 task David Aspinall accepted Oct 4, 2010
#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
#361 Generic adjustment of prover's pretty-printing width 2:pg-emacs PG-Emacs-4.3 task David Aspinall accepted Oct 1, 2010
#351 Show/hide of proofs in Coq can hide too much 2:pg-emacs PG-Emacs-4.3 defect David Aspinall accepted Sep 8, 2010
#276 Unicode tokens: resolve font-lock issues, optimise 2:pg-emacs PG-Emacs-4.3 task David Aspinall accepted Aug 28, 2009
#273 next-error functions: document and streamline 2:pg-emacs PG-Emacs-4.3 enhancement David Aspinall accepted Aug 20, 2009
#208 Generalise Coq's modeline subgoal counter for other provers 2:pg-emacs PG-Emacs-4.3 enhancement David Aspinall accepted Jun 13, 2008
#158 cursor positioning is wrong when sending commands 1:pg-eclipse enhancement Graham Dutton accepted Oct 9, 2007
#17 Add clear button for prover output 1:pg-eclipse enhancement Graham Dutton accepted Jan 30, 2007
#454 coq mode: compile before import fails when no .v file 2:pg-emacs PG-Emacs-4.3 enhancement hendrik assigned Oct 2, 2012
#250 Interrupt causes document inconsistency 1:pg-eclipse defect David Aspinall assigned Sep 5, 2008
#249 Script management error for locales; undo action failure should not generate markers 1:pg-eclipse David Aspinall assigned Sep 4, 2008
#244 Comical giant icons in outline view 1:pg-eclipse defect Graham Dutton assigned Sep 1, 2008
#240 Bad behaviour in startup when proof executables (isabelle, isatool) not found 1:pg-eclipse defect Graham Dutton assigned Aug 15, 2008
#169 Complete buffer history enhancement 2:pg-emacs PG-Emacs-4.3 enhancement David Aspinall assigned Dec 13, 2007
#134 Generalise lexing to better match Isar syntax 1:pg-eclipse enhancement David Aspinall assigned Jul 19, 2007
Note: See TracReports for help on using and creating reports.