aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2019-05-22FIX #422.Pierre Courtieu
2019-04-19Clean -topfile for coq-prog-args properlyGaëtan Gilbert
2019-02-12Simpler fix for #411.Pierre Courtieu
2019-02-12Fixes #411.Pierre Courtieu
2018-12-26Make coq-mode work without generic/proof-*Stefan 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-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-01Ignore ephemeral buffers, and buffers not pointed at files.Calvin Beck
2018-10-30Use non-remote path to expand paths in _CoqProject when file is remote.Daniel Patterson
2018-09-27Fix parsing of -arg in _CoqProject fileAnton Trunov
2018-08-23Fix most doc issues raised by (checkdoc)Erik 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-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
2018-06-11key maps + small glitch hyp highlight/folding code.Pierre Courtieu
2018-06-08Changed the look of folding/unfolding hyps.Pierre Courtieu
2018-06-06Small fix in a regexp.Pierre Courtieu
2018-06-04Shorter CHANGES + smal fixes in hide/highlight hyps code.Pierre Courtieu
2018-06-01Click hypothesis to (un)hide them.Pierre Courtieu
2018-06-01Fixed a typo in previous commits.Pierre Courtieu
2018-05-31Infrastructure for hypothesis hiding.Pierre Courtieu
2018-05-31Fixing infrastructure for hypothesis highlighting.Pierre Courtieu
2018-05-31Merge branch 'master' of github.com:ProofGeneral/PGPierre Courtieu
2018-05-31Infrastructure for transient hyps highlighting.Pierre Courtieu
2018-04-22small fix of face `coq-symbol-face'stardiviner
2018-04-08Merge pull request #207 from SkySkimmer/masterErik Martin-Dorel
2018-03-03Fix typos in custom variable descriptions. (#236)Tej Chajed
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-02-07typo in abbrevs.Pierre Courtieu
2018-01-26look for vernac controls before focus bracket, fix for #223Paul Steckler
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 01:59:55 +0000