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
#429
Coq should support *trace* buffer for idtac output
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
reopened
Nov 7, 2011
#377
Electric-terminator mode next line movement changed
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
reopened
Oct 11, 2010
#336
Toolbar images on Mac Emacsen are super-ugly
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
reopened
Aug 17, 2010
#514
Emacs org-mode integration
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
new
Aug 1, 2022
#513
Splash screen disappears too quickly
2:pg-emacs
PG-Emacs-4.4
defect
David Aspinall
new
May 3, 2016
#510
coq-time-commands hangs on bullets with Coq-8.5
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Mar 15, 2016
#509
isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined.
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Feb 2, 2016
#508
The option -emacs-U is depracated Proof General should use -emacs instead.
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Oct 21, 2015
#507
PG for Coq does not interpret quotes within comments like Coq does
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Aug 29, 2015
#506
Please add Proof IDE support to emacs PG
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
new
Jun 3, 2015
#501
wrongly embedded pathname in ProofGeneral-4.3pre150202
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Feb 14, 2015
#499
delays between coq messages can cause PG to duplicate some
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Jan 3, 2015
#498
coq-compile-before-require should allow non-source installations
7:prover-coq
PG-Emacs-4.3
defect
David Aspinall
new
Oct 11, 2014
#497
coq auto-compile and spaces in directory names lead to failure
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Oct 4, 2014
#496
Aquamacs point moving
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Sep 6, 2014
#490
Bad parsing of .}
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Mar 11, 2014
#488
Display of Ltac debugging mode
2:pg-emacs
enhancement
David Aspinall
new
Jan 9, 2014
#483
ltac: and constr: should not affect indentation
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Aug 27, 2013
#481
proof-set-value does not handle errors in :eval forms of defpacustom
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Jul 17, 2013
#480
[match]es sometimes screw up indentation
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Jul 13, 2013
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query