aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2018-08-23Add link to the latex-pretty-symbols package mentioned by @craffErik Martin-Dorel
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-08-23pg-init.el: Add metadata asked by (package-lint-current-buffer)Erik Martin-Dorel
2018-08-23Update Info dir file (so there’s no unwanted line break)Erik Martin-Dorel
2018-08-22Bump version from 4.4.1~pre to 4.5-gitErik Martin-Dorel
2018-08-22Set the minimal supported version of emacs to 24.3 instead of 24.4Erik Martin-Dorel
2018-08-22Merge pull request #200 from craff/masterErik Martin-Dorel
2018-08-21Merge pull request #379 from tchajed/variant-keywordClément Pit-Claudel
2018-08-18Merge branch 'master' of github.com:ProofGeneral/PGPierre Courtieu
2018-08-18Fix #7980, keep option order unchanged.Pierre Courtieu
2018-08-17Support the Variant vernacularTej Chajed
2018-08-15Merge pull request #378 from user454322/patch-1Clément Pit-Claudel
2018-08-15Update INSTALLJavier
2018-08-07Merge pull request #375 from jmgrosen/masterClément Pit-Claudel
2018-08-07Add coq-Print-Ltac to print an Ltac termJohn Grosen
2018-06-15Fixing last commit.Pierre Courtieu
2018-06-15Fix #368 (emacs < 25 split-string has no trim arg).Pierre Courtieu
2018-06-13small fix on hyp overlays.Pierre Courtieu
2018-06-13Fix multiple hyp overlays.Pierre Courtieu
2018-06-13Fix the fix #355.Pierre Courtieu
2018-06-11Small bug unhighlighting.Pierre Courtieu
2018-06-11fix #355 + probable bug.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 07:37:02 +0000