Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (301 - 361 of 361)

← 1 2 3 4
Ticket Summary Owner Type Priority Milestone Component
#410 coq parsing broken since Jun 04 20:12:40 David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#412 coq parsing broken since Jun 04 20:12:40 (II) David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#413 Clicking on Find icon does not bring up input buffer David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#416 Emacs indentation can go into an infinite loop David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#417 Website states wrong minimal emacs version David Aspinall defect major PG-Emacs-4.1 6:web-and-docs
#418 Emacs is not responding after typing `Case "".<newline>` David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#420 Another Emacs indentation freeze David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#424 proof-shell-exit does not follow standard emacs policy with query-exit. David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#426 proof-user-options custom group partly broken David Aspinall defect major PG-Emacs-4.1 2:pg-emacs
#430 Make "Set Ltac Debug" work David Aspinall enhancement major PG-Emacs-4.2 2:pg-emacs
#432 Add documentation of *trace* buffer to PG Adapting manual David Aspinall task major PG-Emacs-4.2 2:pg-emacs
#435 wrong behaviour of the period David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#436 Starting the coq process results in an error David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#437 compilation error with LANG=C David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#438 Startup failure on Emacs 23 David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#439 Hang on open bracket David Aspinall defect major PG-Emacs-4.2 7:prover-coq
#440 User manual link on development page broken David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#441 make -C doc magic fails David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#442 Emacs 24 and long inputs David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#443 Retracting, editing, then re-evaluating/proving sometimes results in definitions that do not match the contents of the file David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#444 three windows mode at pg start when a warning window David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#445 Proof General (or coqtop?) barfs on "Arguments foo / ..." David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#446 window-live-p error (coq, aquamacs) David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#447 Proof General stalls on long Ltac (Coq) David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#449 coq electric terminator conflict David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#450 Proof in proof tree David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#451 support {} and bullets in prooftree David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#452 Some Isabelle options enabled but not active David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#453 Sending too-large definitions gets stuck David Aspinall defect major PG-Emacs-4.2 2:pg-emacs
#455 Emacs trunk BZR sometimes hangs when using auto fill mode with PG Coq David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#458 ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#459 Can not split the window vertically David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#460 proof general hanging on Coq Definition in file generated by Why3 hendrik defect major PG-Emacs-4.3 2:pg-emacs
#461 old manuals on website David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#463 Warning messages suppress error messages and make PG have incorrect behavior with Coq David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#467 The "Time (tactic)." vernacular command no longer displays timings unless the tactic finishes the proof hendrik defect major PG-Emacs-4.3 2:pg-emacs
#494 PG incorrectly parses the result of [Fail] in some cases David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#512 test.coq target doesn't exist David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#83 Fix script parsing to produce reliable and speedy <parseresult> outputs David Aspinall defect critical 4:prover-isabelle
#139 Prover not started when run from Product Graham Dutton defect critical 1:pg-eclipse
#157 undo sometimes incorrectly tries to undo a larger container than is appropriate David Aspinall defect critical 1:pg-eclipse
#406 auto compile bugs when some outputs is done by coqc coquser defect critical PG-Emacs-4.2 2:pg-emacs
#421 proof-shell-exit raises an exception "Buffer foo.v has no process" coquser defect critical PG-Emacs-4.1 2:pg-emacs
#428 subsubsection links not working in PG doc David Aspinall defect critical PG-Emacs-4.2 2:pg-emacs
#434 phox seems completely broken David Aspinall defect critical PG-Emacs-4.3 2:pg-emacs
#24 Replace current undo management with document-based undo mechanism David Aspinall defect blocker 1:pg-eclipse
#84 Remove double-quoted XML output from term display David Aspinall defect blocker 4:prover-isabelle
#86 Fix parse edit offset alex heneveld defect blocker 1:pg-eclipse
#124 Edited text doesn't update document model alex heneveld defect blocker 1:pg-eclipse
#126 Repair symbol handling David Aspinall defect blocker 1:pg-eclipse
#156 closing an active editor doesn't work (buggy or confusing PGRetargetableAction.setBusy()) David Aspinall defect blocker 1:pg-eclipse
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker PG-Emacs-4.0 2:pg-emacs
#241 Fix link parse and undo for <whitespace> elements. David Aspinall blocker 1:pg-eclipse
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#358 link to proof general is broken David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#360 link to proof general is broken and lacks helpful message David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#369 PG will not compile under non-windowing Emacs David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#375 PG goes into infinite loop with 100% CPU usage David Aspinall defect blocker PG-Emacs-4.0 2:pg-emacs
#469 coqgeneral 4.3pre130327 does not compile with Emacs 24.3 David Aspinall defect blocker PG-Emacs-4.3 2:pg-emacs
#502 Latest Makefile change breaks things everywhere except Mac David Aspinall defect blocker PG-Emacs-4.3 2:pg-emacs
#511 new Coq command "From" supported by PG? David Aspinall defect blocker PG-Emacs-4.4 2:pg-emacs
← 1 2 3 4
Note: See TracQuery for help on using queries.