id summary reporter owner description type status priority milestone component resolution keywords cc 363 Multiple file handling for Coq needs sensible treatment David Aspinall David Aspinall "We need to find a way to make Proof General development across multiple files mesh smoothly with Coq users' main Makefile-based batch build mechanism. In particular, undoing across completed scripts should behave consistently and work with Coq's top level. " defect closed major PG-Emacs-4.1 2:pg-emacs fixed