Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Available Reports
New Custom Query
{12} Newest Tickets
(20 matches)
Max items per page
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.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query