aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-29Minor changesAnaclet
2020-05-29Fix the test 081Anaclet
2020-05-29Add tests and flags systemAnaclet
2020-05-29fix: backtrack for "Show Proof" disabledAnaclet
2020-05-29fix: backtrack wrong type argumentAnaclet
2020-05-29fix: Do "Show Proof…" (with "?Goal") as soon as the proof is startedErik Martin-Dorel
2020-05-29test: Add regression test (currently failing)Erik Martin-Dorel
2020-05-29Apply reviews of @erikmdCyril Anaclet
2020-05-29WIP for #487Cyril Anaclet
2020-05-29Fix name clash & rephrase some stringsErik Martin-Dorel
2020-05-29All case for Show and regex variableCyril Anaclet
2020-05-29First try for feature #487Cyril Anaclet
2020-05-28Merge pull request #496Erik Martin-Dorel
2020-05-28Added a few coq commands.Pierre Courtieu
2020-05-28fix: test files should not provide featuresErik Martin-Dorel
2020-05-28Fix default value for proof-shell-last-cmd-left-goals-p.Pierre Courtieu
2020-05-27Add proof-shell-last-cmd-left-goals-p.Pierre Courtieu
2020-05-26[CI] Also run integration tests with Coq 8.9.1 and 8.10.2Erik Martin-Dorel
2020-05-26fix: test files should not provide featuresErik Martin-Dorel
2020-05-06Merge pull request #488 from Flupp/doc-info-menu-fixErik Martin-Dorel
2020-05-06test: Add CI step to build the docErik Martin-Dorel
2020-05-06doc/ProofGeneral.texi: fix makeinfoToni Dietze
2020-05-04Merge pull request #486 from ProofGeneral/coq-tests-for-masterErik Martin-Dorel
2020-05-04docs: Add a comment in ci/test_wholefile.vErik Martin-Dorel
2020-05-04add testCyril Anaclet
2020-05-04Fixing #485, bug on proof without "Proof".Pierre Courtieu
2020-05-04refactor: Rename test fileErik Martin-Dorel
2020-05-04test: Remove "Proof." workaroundErik Martin-Dorel
2020-05-04docs: Add docstrings in testsErik Martin-Dorel
2020-05-04Fixing #485, bug on proof without "Proof".Pierre Courtieu
2020-05-04refactor: Remove unneeded auxiliary functions & Use "coq-" prefixErik Martin-Dorel
2020-05-04fix: ert.jsonErik Martin-Dorel
2020-05-04fix: Tweak comments and workaround ProofGeneral/PG#485Erik Martin-Dorel
2020-05-04test: Add tests and some fixCyril Anaclet
2020-05-01fix: add some "sudo chown coq:coq" commandErik Martin-Dorel
2020-05-01test: Add ert-problem-matcher for CI workflowErik Martin-Dorel
2020-05-01test: Slightly increase 'ert-batch-backtrace-right-marginErik Martin-Dorel
2020-04-30[WIP] add 2 testsCyril Anaclet
2020-04-29fix: ERT tests OK in batch & interactive mode at onceErik Martin-Dorel
2020-04-29ci: Build all branches for nowErik Martin-Dorel
2020-04-29fix: coq-tests.el and related filesErik Martin-Dorel
2020-04-29fix(test.sh): $_dir namingErik Martin-Dorel
2020-04-29Add ERT tests (WIP)Cyril Anaclet
2020-04-29Add a testCyril Anaclet
2020-04-27[CI] fail-fast:=falseErik Martin-Dorel
2020-04-27[CI] Use coq-community/docker-coq-action@v1Erik Martin-Dorel
2020-04-22[CI] Use erikmd/docker-coq-action@masterErik Martin-Dorel
2020-04-21Merge pull request #483 from ProofGeneral/use-github-actionsErik Martin-Dorel
2020-04-21docs(README.md): Update CI badgeErik Martin-Dorel
2020-04-21[CI] Tweak max-parallel specErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 16:38:14 +0000