id summary reporter owner description type status priority milestone component resolution keywords cc 394 "Coq ""Library"" keyword - incorrect coloring" coqletsgo courtieu "When using ""Extraction Library "", the ""Library"" word is not highlighted in blue like all other keywords (Extraction, Require, etc)." defect closed trivial PG-Emacs-4.1 2:pg-emacs fixed