aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-05-16Highlight diffs in goals and some error messagesJim Fehrle
2019-05-02Fix typosJim Fehrle
2019-04-19Merge pull request #418 from SkySkimmer/clean-argsErik Martin-Dorel
2019-04-19Clean -topfile for coq-prog-args properlyGaëtan Gilbert
2019-04-18Merge pull request #419 from bbarenblat/masterClément Pit-Claudel
2019-04-18Derive proof-mode from prog-modeBenjamin Barenblat
2019-02-12Simpler fix for #411.Pierre Courtieu
2019-02-12Fixes #411.Pierre Courtieu
2019-01-14Hopefully fix ProofGeneral/PG#413Erik Martin-Dorel
2019-01-13Fix ProofGeneral/PG#413 furtherErik Martin-Dorel
2019-01-13Merge pull request #414 from ProofGeneral/improve-use-package-supportErik Martin-Dorel
2019-01-13Update the commentary section in proof-general.elErik Martin-Dorel
2019-01-13Fix the license notice in proof-general.elErik Martin-Dorel
2019-01-13Rename pg-init.el to proof-general.elErik Martin-Dorel
2019-01-12* pg-init.el: Add subdirs during compilation (bug #413)Stefan Monnier
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-25Reduce the impact of proof-site, in case PG is not usedStefan Monnier
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-20Merge branch 'master' of github.com:ProofGeneral/PGPierre Courtieu
2018-12-20Fixes #395: hyps highlight is transient and with gray background.Pierre Courtieu
2018-12-19Merge pull request #410 from soraros/patch-1Clément Pit-Claudel
2018-12-19Quote ?( ?)soraros
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-12-15Prepend cl- to more c[ad]+r instancesClément Pit-Claudel
2018-12-15Use cl-caddr instead of caddrClément Pit-Claudel
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-14Fixes the fix of #407. Is this temporary.Pierre Courtieu
2018-12-14Merge branch 'master' of github.com:ProofGeneral/PGPierre Courtieu
2018-12-14Fix #407: -topfile added if coq > v8.10alpha.Pierre Courtieu
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-11-15Merge pull request #402 from Chobbes/modelineClément Pit-Claudel
2018-11-12Remove code that hides mode-line.Calvin Beck
2018-11-01Merge pull request #397 from Chobbes/masterClément Pit-Claudel
2018-11-01Ignore ephemeral buffers, and buffers not pointed at files.Calvin Beck
2018-10-30Merge pull request #396 from dbp/coqproject-localClément Pit-Claudel
2018-10-30Use non-remote path to expand paths in _CoqProject when file is remote.Daniel Patterson
2018-09-27Merge pull request #393 from anton-trunov/fix-coqproject-argClément Pit-Claudel
2018-09-27Fix parsing of -arg in _CoqProject fileAnton Trunov
2018-09-01Reloading proof-autoloads is safe; don't forbid itClément Pit-Claudel
2018-08-30Merge pull request #384 from ProofGeneral/update-install-guideErik Martin-Dorel
2018-08-30Add MELPA badgeErik Martin-Dorel
2018-08-30Update the section of supported PAsErik Martin-Dorel
2018-08-30README.md: Update installation instructionsErik Martin-Dorel
2018-08-25Merge pull request #169 from ProofGeneral/help-span-extendedErik Martin-Dorel
2018-08-23ProofGeneral.texi: Add EasyCrypt in the introErik Martin-Dorel
2018-08-23Update AUTHORS file for EasyCryptErik Martin-Dorel
2018-08-23Merge pull request #380 from ProofGeneral/prepare-melpaErik Martin-Dorel
2018-08-23Run make autoloadsErik Martin-Dorel
2018-08-23Update AUTHORS, fixing 2 typosErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:21:24 +0000