id Resolution Summary Owner Reporter 470 fixed texinfo 5.1 incompatibility David Aspinall coquser 469 duplicate coqgeneral 4.3pre130327 does not compile with Emacs 24.3 David Aspinall coquser 468 wontfix Some notations with periods make PG hang David Aspinall coquser