aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
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
2018-01-15Experimental fix for #220.Pierre Courtieu
2017-12-22Make coq-prog-args safe when list of strings.Gaëtan Gilbert
2017-12-11Fix #214.Pierre Courtieu
2017-11-06Prettier cheat face (background + box).Pierre Courtieu
2017-11-06Fix #135.Pierre Courtieu
2017-10-26Limited extensibility of smie token detection.Pierre Courtieu
2017-07-19changed -emacs-U flag to -emacsPaul Steckler
2017-06-08Fixing a bug with Set/Unset commands due to recent commits.Pierre Courtieu
2017-06-06Adding a Set Silent + Show when backtracking into a proof.Pierre Courtieu
2017-05-25Merge pull request #185 from psteckler/remove-contribspsteckler
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-05-23Fixing #183.Pierre Courtieu
2017-05-16Fixing Set/Unset Printing broken by auto "Show".Pierre Courtieu
2017-05-12temporary fix of automatic intros.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:11:21 +0000