aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2020-12-19add tests for parallel background compilationHendrik Tews
2020-12-19fix keep-going when dependency exists but failedHendrik Tews
2020-12-19redesign of parallel background compilation without clonesHendrik Tews
2020-12-10Merge pull request #527 from rgrinberg/fix-byte-compClément Pit-Claudel
2020-12-07Merge pull request #526 from hendriktews/version-break-525hendriktews
2020-12-07protect coq-callcoq against escaping signalsHendrik Tews
2020-12-07fix coq-callcoq for emacs 27Hendrik Tews
2020-12-06Merge pull request #530 from ProofGeneral/fix-ciErik Martin-Dorel
2020-12-06docs: Update README.md accordingly & Mention the URL of the debbugErik Martin-Dorel
2020-12-06refactor: Simplify ci/init-tests.elErik Martin-Dorel
2020-12-06fix: Workaround DebBug 34341 (fixed in Emacs 26.3, 27.1)Erik Martin-Dorel
2020-12-01Fix byte compilationRudi Grinberg
2020-11-19coq: Add highlighting for Hint ModeClément Pit-Claudel
2020-10-16Fix #514 + support for named goal selector.Pierre Courtieu
2020-10-16Fix #518: "Proof using" mode corrupts "Proof with tac".Pierre Courtieu
2020-10-14Merge pull request #517 from Lysxia/hl-computeClément Pit-Claudel
2020-10-14Highlight ComputeLi-yao Xia
2020-09-11fix(coq/coq.el): spelling of "whether" (#512)dymil
2020-09-11fix(CHANGES): spelling of "whether" (#511)dymil
2020-09-11Update PhoX link and add https (#510)dymil
2020-06-23Merge pull request #503 from hendriktews/issue-499-ancestor-appendErik Martin-Dorel
2020-06-20Merge pull request #501 from haselwarter/proof-shell-string-match-safeErik Martin-Dorel
2020-06-19coq-par-compile: use hash for ancestorsHendrik Tews
2020-06-18Use `proof-shell-string-match-safe` to avoid failing on `nil` regexpPhilipp G. Haselwarter
2020-06-15Add coloration for Ltac2 commandsCyril Anaclet
2020-06-04New hook for early prompt/output analyzis.Pierre Courtieu
2020-05-29Merge pull request #490 from ProofGeneral/feature/487Erik Martin-Dorel
2020-05-29refactor: Remove unneeded coq-should-responseErik Martin-Dorel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:36:10 +0000