#1070036 proofgeneral: Error loading 50proofgeneral: Invalid read syntax: ")", 19, 29

Package:
proofgeneral
Source:
proofgeneral
Submitter:
Lev Lamberov
Date:
2024-04-29 07:36:04 UTC
Severity:
normal
#1070036#5
Date:
2024-04-29 07:24:51 UTC
From:
To:
Dear Maintainer,

When starting GNU Emacs I'm getting the following error message (as
extracted from *Messages* buffer):

Loading /etc/emacs/site-start.d/50proofgeneral.el (source)...
Loading /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el (source)...done
Error while loading 50proofgeneral: Invalid read syntax: ")", 19, 29

Regards,
Lev