aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Simpler fix for #411.Gravatar Pierre Courtieu2019-02-12
* Fixes #411.Gravatar Pierre Courtieu2019-02-12
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-12-20
|\
* | Fixes #395: hyps highlight is transient and with gray background.Gravatar Pierre Courtieu2018-12-20
| * Quote ?( ?)Gravatar soraros2018-12-19
| * Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
| * Prepend cl- to more c[ad]+r instancesGravatar Clément Pit-Claudel2018-12-15
| * Use cl-caddr instead of caddrGravatar Clément Pit-Claudel2018-12-15
| * Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
|/
* Fixes the fix of #407. Is this temporary.Gravatar Pierre Courtieu2018-12-14
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-12-14
|\
* | Fix #407: -topfile added if coq > v8.10alpha.Gravatar Pierre Courtieu2018-12-14
| * Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
| * Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
|/
* Ignore ephemeral buffers, and buffers not pointed at files.Gravatar Calvin Beck2018-11-01
* Use non-remote path to expand paths in _CoqProject when file is remote.Gravatar Daniel Patterson2018-10-30
* Fix parsing of -arg in _CoqProject fileGravatar Anton Trunov2018-09-27
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Merge pull request #379 from tchajed/variant-keywordGravatar Clément Pit-Claudel2018-08-21
|\
* \ Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-08-18
|\ \
* | | Fix #7980, keep option order unchanged.Gravatar Pierre Courtieu2018-08-18
| | * Support the Variant vernacularGravatar Tej Chajed2018-08-17
| |/
| * Add coq-Print-Ltac to print an Ltac termGravatar John Grosen2018-08-07
|/
* Fixing last commit.Gravatar Pierre Courtieu2018-06-15
* Fix #368 (emacs < 25 split-string has no trim arg).Gravatar Pierre Courtieu2018-06-15
* small fix on hyp overlays.Gravatar Pierre Courtieu2018-06-13
* Fix multiple hyp overlays.Gravatar Pierre Courtieu2018-06-13
* Fix the fix #355.Gravatar Pierre Courtieu2018-06-13
* Small bug unhighlighting.Gravatar Pierre Courtieu2018-06-11
* fix #355 + probable bug.Gravatar Pierre Courtieu2018-06-11
* key maps + small glitch hyp highlight/folding code.Gravatar Pierre Courtieu2018-06-11
* Changed the look of folding/unfolding hyps.Gravatar Pierre Courtieu2018-06-08
* Small fix in a regexp.Gravatar Pierre Courtieu2018-06-06
* Shorter CHANGES + smal fixes in hide/highlight hyps code.Gravatar Pierre Courtieu2018-06-04
* Click hypothesis to (un)hide them.Gravatar Pierre Courtieu2018-06-01
* Fixed a typo in previous commits.Gravatar Pierre Courtieu2018-06-01
* Infrastructure for hypothesis hiding.Gravatar Pierre Courtieu2018-05-31
* Fixing infrastructure for hypothesis highlighting.Gravatar Pierre Courtieu2018-05-31
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-05-31
|\
* | Infrastructure for transient hyps highlighting.Gravatar Pierre Courtieu2018-05-31
| * small fix of face `coq-symbol-face'Gravatar stardiviner2018-04-22
| * Merge pull request #207 from SkySkimmer/masterGravatar Erik Martin-Dorel2018-04-08
|/|
* | Fix typos in custom variable descriptions. (#236)Gravatar Tej Chajed2018-03-03
* | Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* | typo in abbrevs.Gravatar Pierre Courtieu2018-02-07
* | look for vernac controls before focus bracket, fix for #223Gravatar Paul Steckler2018-01-26
* | Experimental fix for #220.Gravatar Pierre Courtieu2018-01-15
| * Make coq-prog-args safe when list of strings.Gravatar Gaëtan Gilbert2017-12-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-19 17:28:28 +0000