aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-06-13Fix the fix #355.Pierre Courtieu
The fix was bad: no ore hyps were foldable/highlightable.
2018-06-11Small bug unhighlighting.Pierre Courtieu
Selecting the unhighlightied hyps showed a different region color. Setting the face to nil is better.
2018-06-11fix #355 + probable bug.Pierre Courtieu
By renaming the arg load-path into loadpath I notice that a coq-load-path was used instead of it.
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
Update README.md (about PG branches and license)
2018-05-29Add note about PG branches and licenseErik Martin-Dorel
2018-04-22Merge pull request #356 from stardiviner/stardiviner-patch-1Erik Martin-Dorel
Fix coq-symbol-face's :inherit attribute
2018-04-22small fix of face `coq-symbol-face'stardiviner
2018-04-08Merge pull request #207 from SkySkimmer/masterErik Martin-Dorel
Make coq-prog-args safe when list of strings.
2018-03-17Merge pull request #347 from liyishuai/masterErik Martin-Dorel
Setup CI for Emacs 25.3
2018-03-11CI Emacs 25.3Yishuai Li
2018-03-07Merge pull request #344 from ProofGeneral/font-lock-fixErik Martin-Dorel
Add a missing parameter in advice on font-lock-fontify-keywords-region
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
Update copyright messages and improve the header of elisp files.
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
Close ProofGeneral/PG#31
2018-02-07typo in abbrevs.Pierre Courtieu
2018-01-30Merge pull request #224 from psteckler/fix-233Pierre Courtieu
Look for vernac controls before focus bracket, possible fix for #223
2018-01-26look for vernac controls before focus bracket, fix for #223Paul Steckler
2018-01-17Disable ASLR during Travis buildsClément Pit--Claudel
2018-01-16Get rid of old-style backquotesClément Pit--Claudel
Closes #221. Thanks @jwiegley!
2018-01-15Experimental fix for #220.Pierre Courtieu
2017-12-22Make coq-prog-args safe when list of strings.Gaëtan Gilbert
They could be passed through _CoqProject regardless.
2017-12-11Fix #214.Pierre Courtieu
If this works we should probably change the generic function as well.
2017-11-06Prettier cheat face (background + box).Pierre Courtieu
2017-11-06Fix #135.Pierre Courtieu
2017-10-26Updating CHANGES with lexer extensibility.Pierre Courtieu
2017-10-26Limited extensibility of smie token detection.Pierre Courtieu
2017-08-15Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Erik Martin-Dorel
This commit address ProofGeneral/PG#193.
2017-07-19changed -emacs-U flag to -emacsPaul Steckler
2017-07-06Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formattingPierre Courtieu
Formatting fix for proof-layout-windows documentation
2017-06-30Formatting fix for proof-layout-windows documentationAndreas Lööw
2017-06-19Merge pull request #189 from marsam/masterClément Pit-Claudel
Fix easycrypt automode regexp
2017-06-19Fix easycrypt automode regexpMario Rodas
Without the string-end regexp matches all the file names which match the regexp `.eca?`.
2017-06-08Fixing a bug with Set/Unset commands due to recent commits.Pierre Courtieu
The "Show" inserted now and then would hide the result of Set/Unset commands.
2017-06-06Adding a Set Silent + Show when backtracking into a proof.Pierre Courtieu
Checking whether the backtrack is inside a proof or not is a bit convoluted but seems ok.
2017-06-06Fixing bug #187 by removing trailing spaces from prog name.Pierre Courtieu
2017-05-25Merge pull request #185 from psteckler/remove-contribspsteckler
Remove mmm and ML4PG contribs
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 16:29:23 +0000