Dear Maintainer,
This bug was fixed by 'commit b3ff384' on git.
https://github.com/ProofGeneral/PG/issues/355
https://github.com/ProofGeneral/PG/commit/b3ff384a564a0d5a4206c1eb1e2eaa06da6f909a
I wish this package to be included in Buster again.
Package: proofgeneral
Version: 4.4.1~pre170114-1
Severity: normal
Dear Maintainer,
After upgrading emacs to 1:26.1+1-2, proofgeneral no longer works with
coq source. Trying to process the source (Next Step, or Use Buffer)
yields the message "Cannot open load file: Aucun fichier ou dossier de
ce t
2 matches
Mail list logo