aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2020-04-21[CI] Fix on/(push,pull_request) specErik Martin-Dorel
2020-04-21s/4.07-flambda/minimal/Erik Martin-Dorel
2020-04-21fix: Install emacs in the Docker containerErik Martin-Dorel
2020-04-17feat: Update test.yml to trigger integration testsErik Martin-Dorel
2020-04-17feat: Add first version of coq-tests.elErik Martin-Dorel
2020-04-17chore: Add shell script to automate the testsErik Martin-Dorel
2020-04-16chore: Add init-tests.elErik Martin-Dorel
2020-04-16feat: Add GitHub-action workflowErik Martin-Dorel
2020-04-16feat: Remove Travis CI configurationErik Martin-Dorel
2020-04-16Fix hide/show proof.Pierre Courtieu
2020-04-15Fix a bug in detection of "Proof." when "proof using" insertionPierre Courtieu
2020-04-15Fixed disabled proof using menu.Pierre Courtieu
2020-04-15add CHANGES entry for vosHendrik Tews
2020-04-15update documentation for vos compilationHendrik Tews
2020-04-15menu entry for coq-compile-vosHendrik Tews
2020-04-15coq-par-compile: support -vos for coq >= 8.11 and default setting changeHendrik Tews
2020-04-15Span menu entry for proof using annotation + doc.Pierre Courtieu
2020-04-10docs: Update CHANGES after issue #479 and PR #480Erik Martin-Dorel
2020-04-10Merge branch 'master' of https://github.com/ProofGeneral/PGPierre Courtieu
2020-04-10Fixed proof using annotation mechanism.Pierre Courtieu
2020-04-10Merge pull request #480 from CyrilAnac/masterErik Martin-Dorel
2020-04-10Close #479cyrilzak31
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:32:13 +0000