id Resolution Summary Owner Reporter 493 wontfix ProofGeneral stalls/loops on ... David Aspinall coquser 492 fixed Proof General: script management confused, couldn't find goal span for save. when evaluating past the bottom of a module that contains a theorem with the same name as the module David Aspinall coquser 491 wontfix Print Implicit not available as emacs command David Aspinall coquser