proof-general/doc, branch master Emacs plugins for proof management systems Document the "Proof using" requirement for 'proof-omit-proofs-option 2021-04-20T22:29:10+00:00 Erik Martin-Dorel 2021-04-20T22:23:00+00:00 82311da10ee3dfa6f29ddfb9225f9f05c29dca31 






omit proofs: emit warning on nested proofs and continue
2021-04-16T20:53:05+00:00

Hendrik Tews

2021-03-25T22:02:32+00:00

560c6a27d0f082c596284d133fc8af4bc89a6f15












omit proofs feature documented in PG-adapting
2021-04-16T20:53:05+00:00

Hendrik Tews

2021-03-24T20:47:25+00:00

05399b7129a77efcfa7f63d8112474cdab9398e0












document the omit proofs feature manual and changes file
2021-04-16T20:53:05+00:00

Hendrik Tews

2021-03-21T14:55:38+00:00

c509eb17c1455972b967902a8ac34928717a8838












prefix arg for temporarily disabling omitting proofs
2021-04-16T20:53:05+00:00

Hendrik Tews

2021-03-17T07:37:38+00:00

f7943ba646c258a0a4a5b397b8a920d5d13ecf31

Make proof-goto-point and proof-process-buffer prefix argument
aware. With argument, both commands temporarily switch off
proof-omit-proofs-option, such that all proofs are completely
processed for one particular invocation.





Make proof-goto-point and proof-process-buffer prefix argument
aware. With argument, both commands temporarily switch off
proof-omit-proofs-option, such that all proofs are completely
processed for one particular invocation.







Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexp
2021-03-17T05:10:42+00:00

Clément Pit-Claudel

2021-03-17T05:10:42+00:00

56ee4ebc97e77da7d61eaa7b00580bf4ef5b87d9

Closes GH-557.





Closes GH-557.







test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI tests
2021-02-25T15:36:32+00:00

Erik Martin-Dorel

2021-02-25T15:24:00+00:00

3b93f2e1149ebd13e97d6fd4954269c07fe210bd

* Document (in README.md) the proposed policy: supporting Emacsen from
  the versions packaged in Debian Stable / Ubuntu LTS until their EOS.





* Document (in README.md) the proposed policy: supporting Emacsen from
  the versions packaged in Debian Stable / Ubuntu LTS until their EOS.







update magical documentation in manual for vok feature
2021-02-13T19:07:35+00:00

Hendrik Tews

2021-01-31T21:36:45+00:00

740a5c7544a68ba5d5d569fb591e38452f3105e8












update changes and documentation for vok feature
2021-02-13T19:07:35+00:00

Hendrik Tews

2021-01-20T09:10:59+00:00

7e7af1294128bbccb98f6c44c77b7ab3ea863a42












update manuals with make magic
2021-01-31T20:42:52+00:00

Hendrik Tews

2021-01-25T12:29:19+00:00

89300b579aea2471448b8871b94c0e5982c7c059