{12} Newest Tickets (20 matches)

20 Newest Tickets.

Ticket Summary Component Version Milestone Type Owner Status Created
#205 x-symbol fails in Carbon Emacs 2:pg-emacs PG-Emacs-3.7.1 defect David Aspinall closed Jun 3, 2008
#501 wrongly embedded pathname in ProofGeneral-4.3pre150202 2:pg-emacs PG-Emacs-4.3 defect David Aspinall new Feb 14, 2015
#435 wrong behaviour of the period 2:pg-emacs PG-Emacs-4.2 defect David Aspinall closed Jan 25, 2012
#446 window-live-p error (coq, aquamacs) 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed Aug 6, 2012
#411 wiki formatting corrupts tickets 2:pg-emacs PG-Emacs-4.1 defect David Aspinall closed Jun 9, 2011
#234 unicode-tokens: add command to highlight unicode characters 2:pg-emacs PG-Emacs-4.0 enhancement David Aspinall closed Jul 24, 2008
#433 unexpected cursor position after stepping through command with terminator at line ending 2:pg-emacs PG-Emacs-4.2 enhancement David Aspinall closed Jan 10, 2012
#204 undo stops undoing in large proofs 2:pg-emacs PG-Emacs-3.7.1 defect David Aspinall closed Feb 15, 2008
#157 undo sometimes incorrectly tries to undo a larger container than is appropriate 1:pg-eclipse defect David Aspinall closed Oct 9, 2007
#303 underlining on error sucks 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Nov 11, 2009
#444 three windows mode at pg start when a warning window 2:pg-emacs PG-Emacs-4.2 defect David Aspinall closed Jul 9, 2012
#470 texinfo 5.1 incompatibility 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed May 15, 2013
#472 texi2pdf loads Proofgeneral.pdf as image 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed May 15, 2013
#512 test.coq target doesn't exist 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed May 2, 2016
#307 synchronization loss with interrupts 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Nov 25, 2009
#354 synchronisation lost with "process rest" and "undo" 1:pg-eclipse defect David Aspinall new Sep 14, 2010
#451 support {} and bullets in prooftree 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed Sep 4, 2012
#428 subsubsection links not working in PG doc 2:pg-emacs PG-Emacs-4.2 defect David Aspinall closed Oct 24, 2011
#277 span start vs. command start 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Aug 28, 2009
#155 sending past end doesn't work quite right ("undo" fails, maybe more) 1:pg-eclipse defect David Aspinall closed Oct 6, 2007
Note: See TracReports for help on using and creating reports.