Custom Query (34 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Resolution: fixed (14 matches)

Ticket Summary Owner Type Priority Component Created
#428 subsubsection links not working in PG doc David Aspinall defect critical 2:pg-emacs 12 years ago
#296 PG accepts garbage though Coq said "illegal begin of vernac" courtieu defect major 2:pg-emacs 15 years ago
#430 Make "Set Ltac Debug" work David Aspinall enhancement major 2:pg-emacs 12 years ago
#432 Add documentation of *trace* buffer to PG Adapting manual David Aspinall task major 2:pg-emacs 12 years ago
#435 wrong behaviour of the period David Aspinall defect major 2:pg-emacs 12 years ago
#436 Starting the coq process results in an error David Aspinall defect major 2:pg-emacs 12 years ago
#437 compilation error with LANG=C David Aspinall defect major 2:pg-emacs 12 years ago
#440 User manual link on development page broken David Aspinall defect major 2:pg-emacs 12 years ago
#441 make -C doc magic fails David Aspinall defect major 2:pg-emacs 12 years ago
#443 Retracting, editing, then re-evaluating/proving sometimes results in definitions that do not match the contents of the file David Aspinall defect major 2:pg-emacs 12 years ago
#444 three windows mode at pg start when a warning window David Aspinall defect major 2:pg-emacs 12 years ago
#449 coq electric terminator conflict David Aspinall defect major 2:pg-emacs 12 years ago
#450 Proof in proof tree David Aspinall defect major 2:pg-emacs 12 years ago
#138 Can't insert text after locking a comment David Aspinall defect minor 2:pg-emacs 17 years ago

Resolution: invalid (2 matches)
Ticket Summary Owner Type Priority Component Created
#391 proof-full-annotation causes instabilities David Aspinall defect major 2:pg-emacs 13 years ago
#439 Hang on open bracket David Aspinall defect major 7:prover-coq 12 years ago

Resolution: wontfix (8 matches)
Ticket Summary Owner Type Priority Component Created
#275 Overhaul script management command sending David Aspinall task major 2:pg-emacs 15 years ago
#438 Startup failure on Emacs 23 David Aspinall defect major 2:pg-emacs 12 years ago
#159 Goal centering courtieu enhancement minor 2:pg-emacs 16 years ago
#225 Allow Unicode Tokens to work smoothly for several modes at once David Aspinall enhancement minor 2:pg-emacs 16 years ago
#272 Port identifier completion code from PG Eclipse. David Aspinall enhancement minor 2:pg-emacs 15 years ago
#378 Makefile "make" should detect wrong bytecode file version and rebuild David Aspinall enhancement minor 2:pg-emacs 13 years ago
#392 Isabelle anti-quotation colouring obliterates symbol font setting David Aspinall defect minor 2:pg-emacs 13 years ago
#402 Clean up customization groups/settings David Aspinall defect minor 2:pg-emacs 13 years ago

Resolution: duplicate (4 matches)
Ticket Summary Owner Type Priority Component Created
#447 Proof General stalls on long Ltac (Coq) David Aspinall defect major 2:pg-emacs 12 years ago
#350 Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer) David Aspinall task minor 2:pg-emacs 14 years ago
#427 defpacustom and undo David Aspinall defect minor 2:pg-emacs 13 years ago
#433 unexpected cursor position after stepping through command with terminator at line ending David Aspinall enhancement minor 2:pg-emacs 12 years ago

Resolution: worksforme (1 match)
Ticket Summary Owner Type Priority Component Created
#445 Proof General (or coqtop?) barfs on "Arguments foo / ..." David Aspinall defect major 2:pg-emacs 12 years ago

Resolution: needmoreinfo (1 match)
Ticket Summary Owner Type Priority Component Created
#431 "This subproof is complete" appears at bottom of goals David Aspinall defect trivial 7:prover-coq 12 years ago

Resolution: upstream (4 matches)
Ticket Summary Owner Type Priority Component Created
#406 auto compile bugs when some outputs is done by coqc coquser defect critical 2:pg-emacs 13 years ago
#405 Report Emacs bug: Quail input breaks delete-char behaviour David Aspinall defect major 2:pg-emacs 13 years ago
#409 Problem with wide unicode characters in emacs 23.3 David Aspinall defect major 2:pg-emacs 13 years ago
#453 Sending too-large definitions gets stuck David Aspinall defect major 2:pg-emacs 12 years ago
Note: See TracQuery for help on using queries.