id summary reporter owner description type status priority milestone component resolution keywords cc fix_version see_also 1395 Add coq, coqide and proofgeneral for 6.820 jdreed enhancement closed high Current Semester -- fixed debathena-thirdparty-languages 1.2.3