[pkgdb] emacs-common-proofgeneral summary updated by tibbs

[Fedora PackageDB]

tibbs set package emacs-common-proofgeneral summary to Emacs mode for standard interaction interface for proof assistants

To make changes to this package see:
   https://admin.fedoraproject.org/pkgdb/packages/name/emacs-common-proofgeneral