id summary reporter owner description type status priority milestone component resolution keywords cc 439 Hang on open bracket Robin Green David Aspinall In a Coq source file, type an open bracket (aka open parenthesis). Emacs will hang, requiring a C-g to get out of it. This is with Version 4.2pre120411. defect closed major PG-Emacs-4.2 7:prover-coq invalid