[nongnu] elpa/proof-general updated (a967f22805 -> 1f93bf273d)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  a967f22805 Merge pull request #815 from Matafou/fix-rocq-progname
       new  084d783ff4 Fixing the debug mode (for recent coq verions).
       new  dd9c8a2b67 Merge branch 'master' into fix-debug-mode
       new  1f93bf273d Merge pull request #788 from Matafou/fix-debug-mode


Summary of changes:
 coq/coq-syntax.el |  3 ++-
 coq/coq.el        | 32 ++++++++++++++++++++------------
 2 files changed, 22 insertions(+), 13 deletions(-)