Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
CI: update for Coq 8.19+rc1
January 2, 2024 13:14
ci
coq-par-compile: adapt coqdep warning regexp to 8.19
January 7, 2024 22:49
coq
coq-par-compile: support coqdep warnings from 8.19 onwards
January 7, 2024 22:49
doc
Update ProofGeneral.texi
January 2, 2024 13:21
easycrypt
New hook for early prompt/output analyzis.
June 4, 2020 14:33
etc
chore: Prepare new release cycle
July 14, 2022 13:37
generic
[minor] silence an Emacs warning about above-80-chars docstring
November 28, 2023 14:37
images
Update license information for new logo
May 25, 2016 01:05
lib
Change the license to GPLv3+ (Fix #198)
November 23, 2021 08:53
obsolete/demoisa
Remove Isabelle/Isar support
November 21, 2021 09:05
pghaskell
Fix most doc issues raised by (checkdoc)
August 23, 2018 01:23
pgocaml
Fix most doc issues raised by (checkdoc)
August 23, 2018 01:23
pgshell
Fix most doc issues raised by (checkdoc)
August 23, 2018 01:23
phox
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
December 15, 2018 22:55
previous-art
Update PG's logo
May 24, 2016 23:28
qrhl
qrhl: made font-lock-extra-managed-props buffer-local.
November 24, 2022 23:52
.gitignore
proof-general-pkg.el: Let it be auto-generated
November 19, 2021 22:37
AUTHORS
docs: Update AUTHORS
March 10, 2022 23:53
BUGS
Remove some web links for services facing imminent shutdown.
December 17, 2021 17:53
CHANGES
coq-par-compile: support coqdep warnings from 8.19 onwards
January 7, 2024 22:49
COMPATIBILITY
Remove some web links for services facing imminent shutdown.
December 17, 2021 17:53
COPYING
Change the license to GPLv3+ (Fix #198)
November 23, 2021 08:53
FAQ.md
Update FAQ.md
January 2, 2024 13:21
INSTALL
Remove some web links for services facing imminent shutdown.
December 17, 2021 17:53
Makefile
Makefile: Added qrhl to provers that need to be compiled
March 10, 2022 16:04
Makefile.devel
chore: Prepare new release cycle
July 14, 2022 13:37
README.md
docs(README.md): Update badges (#676)
November 14, 2022 11:44
proof-general.el
* proof-general.el: Add the new maintainer email
September 30, 2022 09:09