Show patches with: Series = Fix ProofGeneral (emacs front-end for Coq)       |    Archived = No       |   1 patch
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#51755,1/1] gnu: proof-general: Adjust autoloads for Emacs. Fix ProofGeneral (emacs front-end for Coq) - - - 4-- 2021-11-10 Simon Tournier Accepted