Custom Query (31 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Resolution: fixed (22 matches)

Ticket Summary Owner Type Priority Created Modified
#109 Missing output from Coq David Aspinall defect major 17 years ago 16 years ago
#110 Search Rewrite and Search About queries for Proof General/Coq David Aspinall defect major 17 years ago 17 years ago
#111 Centering the goal window on the right part of the goals David Aspinall defect major 17 years ago 17 years ago
#112 Filter out control characters in shell buffer or copy from shell buffer David Aspinall defect major 17 years ago 16 years ago
#114 Spurious "replaced xyz occurrences" messages David Aspinall defect major 17 years ago 17 years ago
#115 Isabelle find-theorems form David Aspinall enhancement major 17 years ago 17 years ago
#119 Fix compilation problems, missing files courtieu defect major 17 years ago 16 years ago
#120 Fix docstring magic to interpret blank lines as whitespace inside verbatim regions David Aspinall defect major 17 years ago 16 years ago
#129 X-Symbol in GNU Emacs: fix support for hiding tokens \<^loc>, \<bsub>, etc David Aspinall defect major 17 years ago 16 years ago
#152 Faults with main regexps in XEmacs 21.5(b28) for Coq courtieu defect major 17 years ago 16 years ago
#161 The font-lock setup misbehaves when started via menu David Aspinall defect major 16 years ago 16 years ago
#163 Problems with x-symbol in XEmacs 21.5.28 (latin-iso8859-2 error) David Aspinall defect major 16 years ago 14 years ago
#180 Sub/superscript sometimes not rendered properly. David Aspinall defect major 16 years ago 16 years ago
#182 Problem with sub/superscript in GNU Emacs 21.4.1 (Ubuntu 7.10) David Aspinall defect major 16 years ago 16 years ago
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 David Aspinall defect major 16 years ago 16 years ago
#113 Coq commands not described in coq/coq-syntax.el David Aspinall defect minor 17 years ago 16 years ago
#117 Add resized toolbar icons David Aspinall task minor 17 years ago 16 years ago
#160 "Abort" keyword not recognized in Coq David Aspinall defect minor 16 years ago 16 years ago
#172 Problem with indentation in Coq mode David Aspinall defect minor 16 years ago 16 years ago
#173 coq indenting mode gets confused by *) in proofs David Aspinall defect minor 16 years ago 16 years ago
#181 Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10) David Aspinall defect minor 16 years ago 16 years ago
#116 Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured David Aspinall defect trivial 17 years ago 17 years ago

Resolution: invalid (1 match)
Ticket Summary Owner Type Priority Created Modified
#167 GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works David Aspinall defect minor 16 years ago 16 years ago

Resolution: wontfix (3 matches)
Ticket Summary Owner Type Priority Created Modified
#74 Coq: bug in electric terminator: typing '.' in comment causes comment to be sent and locked David Aspinall defect major 17 years ago 14 years ago
#164 Error with GNU Emacs 21.4.1/C-c C-BS David Aspinall defect major 16 years ago 16 years ago
#165 Cygwin: font-lock crashes on XEmacs 21.4.20 David Aspinall defect major 16 years ago 16 years ago

Resolution: duplicate (2 matches)
Ticket Summary Owner Type Priority Created Modified
#185 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major 16 years ago 16 years ago
#186 Failed initialization of *trace* buffer (xemacs-21.4.x) David Aspinall defect major 16 years ago 16 years ago

Resolution: worksforme (3 matches)
Ticket Summary Owner Type Priority Created Modified
#88 Buffer invisibility spec bug with Emacs 22 David Aspinall defect major 17 years ago 16 years ago
#141 Warnings missing in proof mode in Coq David Aspinall defect major 17 years ago 17 years ago
#178 Emacs occasionally hangs when doing isearch-forward. David Aspinall defect major 16 years ago 16 years ago
Note: See TracQuery for help on using queries.