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
#50
Make sure PG perspective is default on product startup.
documentation
defect
David Aspinall
closed
Jan 30, 2007
#498
coq-compile-before-require should allow non-source installations
7:prover-coq
PG-Emacs-4.3
defect
David Aspinall
new
Oct 11, 2014
#439
Hang on open bracket
7:prover-coq
PG-Emacs-4.2
defect
David Aspinall
closed
Apr 29, 2012
#431
"This subproof is complete" appears at bottom of goals
7:prover-coq
PG-Emacs-4.2
defect
David Aspinall
closed
Nov 13, 2011
#419
Print Fully Explicit option gets out of sync after undoing before point where it was changed
7:prover-coq
PG-Emacs-4.3
defect
David Aspinall
closed
Aug 23, 2011
#382
coq-mode inhibits automatic saving of abbrevs
7:prover-coq
PG-Emacs-4.1
defect
David Aspinall
closed
Jan 14, 2011
#368
coq, already defined values
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Oct 4, 2010
#359
Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout)
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Sep 27, 2010
#357
Feature suggestion: function + binding to insert Coq closing tactics
7:prover-coq
PG-Emacs-4.1
enhancement
David Aspinall
closed
Sep 22, 2010
#356
Coq identifiers are unexpectedly colorized
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Sep 22, 2010
#348
Need to update in coq-syntax.el the keywords containing the word Local
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Aug 30, 2010
#347
Slight change in proof-store-buffer-win to enable undo in the Notepad
7:prover-coq
PG-Emacs-4.0
enhancement
David Aspinall
closed
Aug 30, 2010
#343
Missing test in proof-store-buffer-win
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Aug 26, 2010
#342
Distracting error (actually raised by coq-command-at-point)
7:prover-coq
PG-Emacs-4.0
defect
David Aspinall
closed
Aug 24, 2010
#331
Coq config for proof-goal-command and proof-save-command
7:prover-coq
PG-Emacs-4.0
enhancement
David Aspinall
closed
Aug 14, 2010
#103
Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1)
7:prover-coq
PG-Emacs-3.7
enhancement
David Aspinall
closed
Mar 12, 2007
#417
Website states wrong minimal emacs version
6:web-and-docs
PG-Emacs-4.1
defect
David Aspinall
closed
Aug 19, 2011
#415
Wrong file mentioned in installation notes
6:web-and-docs
PG-Emacs-4.1
defect
David Aspinall
closed
Aug 4, 2011
#195
Replace crufty PHP code for interpreting outline mode with some Javascript
6:web-and-docs
enhancement
David Aspinall
new
Feb 1, 2008
#194
Fix links on web pages and odd mime types for linked files under releases
6:web-and-docs
defect
David Aspinall
new
Feb 1, 2008
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query