{12} Newest Tickets (20 matches)

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.