Custom Query (10 matches)
| Ticket | Summary | Owner | Type | Priority | Milestone | Component |
|---|---|---|---|---|---|---|
| #222 | Urgent messages override errors | enhancement | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #237 | Odd behaviour of C-w in script buffers | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #299 | Out of sync with Isabelle | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #305 | High overhead | enhancement | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #315 | failure to show ML errors | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #321 | Retract buffer broken | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #368 | coq, already defined values | defect | major | PG-Emacs-4.0 | 7:prover-coq | |
| #373 | PG 4.0 forgets things. | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
| #269 | Aquamacs key bindings don't work | defect | minor | PG-Emacs-4.0 | 2:pg-emacs | |
| #431 | "This subproof is complete" appears at bottom of goals | defect | trivial | PG-Emacs-4.2 | 7:prover-coq |
Note: See TracQuery
for help on using queries.
