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 | |
#269 | Aquamacs key bindings don't work | defect | minor | 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 | |
#373 | PG 4.0 forgets things. | defect | major | PG-Emacs-4.0 | 2:pg-emacs | |
#368 | coq, already defined values | defect | major | PG-Emacs-4.0 | 7:prover-coq | |
#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.