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
#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
#512
test.coq target doesn't exist
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
closed
May 2, 2016
#511
new Coq command "From" supported by PG?
2:pg-emacs
PG-Emacs-4.4
defect
David Aspinall
closed
Apr 28, 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
#505
Fix indentation of lazymatch in Coq
2:pg-emacs
PG-Emacs-4.3
enhancement
cpitcla
closed
Apr 25, 2015
#504
Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left
2:pg-emacs
PG-Emacs-4.3
enhancement
cpitcla
closed
Apr 25, 2015
#503
Some coq output get lost for query processed just after an error stops the queue.
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
closed
Mar 9, 2015
#502
Latest Makefile change breaks things everywhere except Mac
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
closed
Mar 6, 2015
#501
wrongly embedded pathname in ProofGeneral-4.3pre150202
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
new
Feb 14, 2015
#500
Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG 4.2, Mac OS 10.10.2, Aquamacs 3.2)
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
closed
Feb 12, 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
#495
Goals buffer aggressively cleared with Coq pre-8.5
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
closed
Aug 16, 2014
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query