aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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-31Updated CHANGES about hiding and highlighting of hyps.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-05-29Merge pull request #360 from ProofGeneral/update-readmeErik Martin-Dorel
2018-05-29Add note about PG branches and licenseErik Martin-Dorel
2018-04-22Merge pull request #356 from stardiviner/stardiviner-patch-1Erik Martin-Dorel
2018-04-22small fix of face `coq-symbol-face'stardiviner
2018-04-08Merge pull request #207 from SkySkimmer/masterErik Martin-Dorel
2018-03-17Merge pull request #347 from liyishuai/masterErik Martin-Dorel
2018-03-11CI Emacs 25.3Yishuai Li
2018-03-07Merge pull request #344 from ProofGeneral/font-lock-fixErik Martin-Dorel
2018-03-07Add a missing parameter in advice on font-lock-fontify-keywords-regionClément Pit--Claudel
2018-03-03Fix typos in custom variable descriptions. (#236)Tej Chajed
2018-03-03Update the AUTHORS file.Erik Martin-Dorel
2018-02-25Merge pull request #194 from ProofGeneral/update-headersClément Pit-Claudel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-02-20Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)Erik Martin-Dorel
2018-02-07typo in abbrevs.Pierre Courtieu
2018-01-30Merge pull request #224 from psteckler/fix-233Pierre 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-02-01 03:32:13 +0000