[nongnu] elpa/proof-general updated (40c40d229e -> e1e29acb04)

[ELPA Syncer]

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

      from  40c40d229e Merge pull request #617 from 
Matafou/fix-indent-user-prefs
       new  ce033327e3 Support for command "Derive SuchThat As".
       new  17a4cc00d6 Merge pull request #649 from 
Matafou/fix-#618-missing-keyword-derive
       new  24da4f5593 Fix #599, bad detection of "Proof" in "Proof using" 
suggestions.
       new  1554eb7936 Merge pull request #648 from 
Matafou/fix-#599-Proof-using-bad-detection
       new  39911fe049 Fix #646. Indentation of function arguments.
       new  0b3454492c Merge pull request #647 from 
Matafou/fix-#646-indent-funargs
       new  3c9bed7061 Add an option to stop proof-shell-kill-function from 
killing buffers.
       new  e1e29acb04 Merge pull request #639 from Chobbes/save-frames


Summary of changes:
 CHANGES                                      |  13 +++
 ci/coq-tests.el                              |  21 ++++
 ci/test-indent/indent-equations.v            |  37 +++++++
 ci/test-indent/indent-inside-command-boxed.v |  19 ++--
 ci/test-indent/indent-inside-command.v       |  24 +++--
 ci/test-indent/indent-tac.v                  |  23 +++-
 ci/test_proof_using.v                        |  12 +++
 coq/coq-mode.el                              |   1 +
 coq/coq-smie.el                              | 151 +++++++++++++++++++++++++--
 coq/coq-syntax.el                            |   8 +-
 coq/coq.el                                   |  49 ++++++---
 generic/proof-shell.el                       |  33 +++---
 generic/proof-useropts.el                    |  11 ++
 13 files changed, 350 insertions(+), 52 deletions(-)
 create mode 100644 ci/test_proof_using.v