Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 6, 2023

• coq/coq-mode.el: Fix 'coq--parent-mode definition

  ayanamists

  committedDec 6, 2023
  499d682

Commits on Nov 28, 2023

• Merge pull request ProofGeneral#708 from gasche/bad-bounding-indices

  monnier

  committedNov 28, 2023
  879444c

• Merge pull request ProofGeneral#716 from gasche/silence-line-length-warning

  monnier

  committedNov 28, 2023
  db2280f

• [minor] silence an Emacs warning about above-80-chars docstring

  gasche

  committedNov 28, 2023
  aa12db5

Commits on Oct 31, 2023

• CI simple-tests: separate github action job for qRHL

  hendriktews

  committedOct 31, 2023
  0dd686e

Commits on Oct 5, 2023

• CI: changes for the new CI strategy

  hendriktews

  committedOct 5, 2023
  aaad87d

• ci/coq-tests: expect 060_coq-test-wholefile to pass for 8.18

  hendriktews

  committedOct 5, 2023
  bd3615b

Commits on Oct 3, 2023

• make CoqProject parsing failure noticeable

  gasche

  committedOct 3, 2023
  d2d2e8a

• Fix a "Bad bounding indices" error on my system

  gasche

  committedOct 3, 2023
  11c1a5f

Commits on Apr 14, 2023

• CI: update Coq/Emacs versions used in CI to latest versions

  hendriktews

  committedApr 14, 2023
  e7aad1d

• ci/coq-tests: expect 060_coq-test-wholefile to fail for 8.17

  hendriktews

  committedApr 14, 2023
  dac9b5d

Commits on Apr 7, 2023

• test-omit-proofs: skip for Coq 8.8 or older

  hendriktews

  committedApr 7, 2023
  911cf01

Commits on Mar 26, 2023

• coq/coq.el: add a tiny bit of documentation (ProofGeneral#693)

  hendriktews

  committedMar 26, 2023
  78a555a

• coq-syntax.el: Fix STATECH booleans (t => the command is not state-preserving) (ProofGeneral#692)

  erikmd

  committedMar 26, 2023
  cc2941f

Commits on Mar 17, 2023

• test-omit-proofs: add tests for ProofGeneral#688 and ProofGeneral#687

  hendriktews

  committedMar 17, 2023
  360dc8c

• proof-script,test-omit-proofs: style and documentation improvements

  hendriktews

  committedMar 17, 2023
  4a4a5cc

Commits on Mar 8, 2023

• Add Coq tactic "native_compute" (ProofGeneral#680)

  txyyss

  committedMar 8, 2023
  bf43cfb

Commits on Jan 30, 2023

• feat: Make C-c C-RET and C-c C-b see prefix argument as a real toggle (ProofGeneral#683)

  erikmd

  committedJan 30, 2023
  8416875

• invalid function error on proof-unicode-tokens-toggle (ProofGeneral#685)

  khibino

  committedJan 30, 2023
  f2c082f

Commits on Nov 30, 2022

• Merge pull request ProofGeneral#669 from haselwarter/dont-save-temp-buffers

  Matafou

  committedNov 30, 2022
  bbbb1e2

Commits on Nov 28, 2022

• Merge pull request ProofGeneral#675 from dominique-unruh/qrhl-tool-rebased

  Matafou

  committedNov 28, 2022
  8e688a6

Commits on Nov 24, 2022

• qrhl: made font-lock-extra-managed-props buffer-local.

  dominique-unruh

  committedNov 24, 2022
  c844c00

Commits on Nov 14, 2022

• docs(README.md): Update badges (ProofGeneral#676)

  erikmd

  committedNov 14, 2022
  d1bbf22

Commits on Oct 23, 2022

• qrhl: Added more keywords to syntax highlighting:

  dominique-unruh

  committedOct 23, 2022
  a49cded

• qrhl: Automatic indentation.

  dominique-unruh

  committedOct 23, 2022
  06e85d8

• qrhl: Remove comments from within multiline commands before sending them to qrhl-tool.

  dominique-unruh

  committedOct 23, 2022
  3b5d65d

• qrhl: Removed leftover debug output.

  dominique-unruh

  committedOct 23, 2022
  ab7b274

• qrhl: Added more abbreviations and symbols in input method.

  dominique-unruh

  committedOct 23, 2022
  a2bd550

• qrhl: Improved font-lock mode:

  dominique-unruh

  committedOct 23, 2022
  4a020a7

Commits on Sep 30, 2022

• * proof-general.el: Add the new maintainer email

  monnier

  committedSep 30, 2022
  ef18ee4

Commits on Sep 6, 2022

• Do not offer to save (temporary) buffers without associated files

  haselwarter

  committedSep 6, 2022
  f01e84d

Commits on Aug 3, 2022

• docs(README.md): Mention qrhl-tool

  erikmd

  committedAug 3, 2022
  c304d73

• docs: Mention qrhl-tool

  erikmd

  committedAug 3, 2022
  b5e3589

• docs(README.md): Add documentation badges

  erikmd

  committedAug 3, 2022
  14eb90d

Commits on Jul 31, 2022

• fix(ProofGeneral.texi): s/.dir-local.el/.dir-locals.el/; Add idx items

  erikmd

  committedJul 31, 2022
  f5600a1

Pagination

PreviousNext