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
#51
Add processing direction to 'active script' decorator
1:pg-eclipse
enhancement
anonymous
new
Feb 1, 2007
#421
proof-shell-exit raises an exception "Buffer foo.v has no process"
2:pg-emacs
PG-Emacs-4.1
defect
coquser
closed
Sep 11, 2011
#406
auto compile bugs when some outputs is done by coqc
2:pg-emacs
PG-Emacs-4.2
defect
coquser
closed
May 24, 2011
#486
Disable long indention under quantifiers?
3:pg-broker
PG-Emacs-4.3
defect
courtieu
closed
Oct 29, 2013
#474
Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines
2:pg-emacs
PG-Emacs-4.3
defect
courtieu
closed
Jul 5, 2013
#394
Coq "Library" keyword - incorrect coloring
2:pg-emacs
PG-Emacs-4.1
defect
courtieu
closed
Feb 18, 2011
#386
Coq goals counter not reset on backtracking out of proof
2:pg-emacs
PG-Emacs-4.1
defect
courtieu
closed
Jan 23, 2011
#296
PG accepts garbage though Coq said "illegal begin of vernac"
2:pg-emacs
PG-Emacs-4.2
defect
courtieu
closed
Oct 16, 2009
#159
Goal centering
2:pg-emacs
PG-Emacs-4.2
enhancement
courtieu
closed
Nov 7, 2007
#152
Faults with main regexps in XEmacs 21.5(b28) for Coq
2:pg-emacs
PG-Emacs-3.7
defect
courtieu
closed
Sep 17, 2007
#140
PG takes a long time printing module types in Coq
2:pg-emacs
PG-Emacs-4.0
defect
courtieu
closed
Aug 13, 2007
#119
Fix compilation problems, missing files
2:pg-emacs
PG-Emacs-3.7
defect
courtieu
closed
Jun 10, 2007
#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
#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
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query