aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-04-21Merge pull request #559 from hendriktews/omit-proofsHEADmasterErik Martin-Dorel
2021-04-21Document the "Proof using" requirement for 'proof-omit-proofs-optionErik Martin-Dorel
2021-04-16omit proofs: emit warning on nested proofs and continueHendrik Tews
2021-04-16omit proofs feature documented in PG-adaptingHendrik Tews
2021-04-16fix omit proofs test for emacs <= 25Hendrik Tews
2021-04-16document the omit proofs feature manual and changes fileHendrik Tews
2021-04-16add test for omit proofs featureHendrik Tews
2021-04-16prefix arg for temporarily disabling omitting proofsHendrik Tews
2021-04-16add feature to omit complete opaque proofsHendrik Tews
2021-04-08Fixing "match with" generation.Pierre Courtieu
2021-04-08Fix useless quotes generatinf warnings.Pierre Courtieu
2021-04-08Fixing hypothesis folding GUI.Pierre Courtieu
2021-03-21Fix #562. Lazy/multi_?match indentation support.Pierre Courtieu
2021-03-21Fix #563 avoid dual-send bug in search blacklist customization.Pierre Courtieu
2021-03-17Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexpClément Pit-Claudel
2021-03-17coq: Update coq-prettify-symbols-alist for consistency with company-coqClément Pit-Claudel
2021-02-27Merge pull request #553 from ProofGeneral/test-emacsenErik Martin-Dorel
2021-02-26Merge pull request #554 from ProofGeneral/proof-upgrade-menuErik Martin-Dorel
2021-02-25refactor: Simplify proof-upgrade-elpa-packagesErik Martin-Dorel
2021-02-25docs(CHANGES): Add "M-x proof-upgrade-elpa-packages RET" & menu itemErik Martin-Dorel
2021-02-25$ make autoloadsErik Martin-Dorel
2021-02-25feat(proof-upgrade-elpa-packages): autoloadErik Martin-Dorel
2021-02-25Merge pull request #552 from hendriktews/issue-551Erik Martin-Dorel
2021-02-25feat: Add proof-upgrade-menu triggering proof-upgrade-elpa-packagesErik Martin-Dorel
2021-02-25test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI testsErik Martin-Dorel
2021-02-22protect uses of coq-callcoqHendrik Tews
2021-02-13Update README.mdJulin S
2021-02-13update magical documentation in manual for vok featureHendrik Tews
2021-02-13update changes and documentation for vok featureHendrik Tews
2021-02-13improve/fix code documentation for vok processingHendrik Tews
2021-02-13add second stage -vok for Coq >= 8.11Hendrik Tews
2021-02-13generalize vio2vo symbol names for vok compilationHendrik Tews
2021-02-13new github action for make magicHendrik Tews
2021-01-31update manuals with make magicHendrik Tews
2021-01-31fix typos and unicode single quotations in doc stringsHendrik Tews
2021-01-31report arguments for closures with make magicHendrik Tews
2021-01-31fix make magic problem with emacs 26 and olderHendrik Tews
2021-01-31fix another make magic problem from 2018Hendrik Tews
2021-01-31fix make magic problem from 2018Hendrik Tews
2021-01-31fix make magic problem from 2017Hendrik Tews
2021-01-15Preventive support of "goal instead of "subgoal" in coq messages.Pierre Courtieu
2021-01-10add Coq compile test for a delayed requireHendrik Tews
2020-12-26make-temp-file without text argument for emacs 25Hendrik Tews
2020-12-19ensure vo compilation for tests, increase parallelism, more config outputHendrik Tews
2020-12-19reimplement functions not present in earlier emacs versionsHendrik Tews
2020-12-19include compile tests in CI elisp compilationHendrik Tews
2020-12-19enable coq background compilation tests in github CIHendrik Tews
2020-12-19fix 2 background compilation bugs for a dependency in state readyHendrik Tews
2020-12-19add auto compile test to trigger two bugs for dependees in state readyHendrik Tews
2020-12-19add test for recompilation with changesHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 05:10:31 +0000