Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| * | | | Merge pull request #375 from jmgrosen/master | Clément Pit-Claudel | 2018-08-07 | |
|/| | | | | | | | | | | | Add coq-Print-Ltac to print an Ltac term | |||
| * | | | Add coq-Print-Ltac to print an Ltac term | John Grosen | 2018-08-07 | |
|/ / / | ||||
* | | | Fixing last commit. | Pierre Courtieu | 2018-06-15 | |
| | | | ||||
* | | | Fix #368 (emacs < 25 split-string has no trim arg). | Pierre Courtieu | 2018-06-15 | |
| | | | | | | | | | | | | Copied some code from company-coq. | |||
* | | | small fix on hyp overlays. | Pierre Courtieu | 2018-06-13 | |
| | | | ||||
* | | | Fix multiple hyp overlays. | Pierre Courtieu | 2018-06-13 | |
| | | | | | | | | | | | | | | | queries would trigger re-generarion of overlays. Now overlays are generated if there are no overlays already. | |||
* | | | Fix the fix #355. | Pierre Courtieu | 2018-06-13 | |
| | | | | | | | | | | | | The fix was bad: no ore hyps were foldable/highlightable. | |||
* | | | Small bug unhighlighting. | Pierre Courtieu | 2018-06-11 | |
| | | | | | | | | | | | | | | | Selecting the unhighlightied hyps showed a different region color. Setting the face to nil is better. | |||
* | | | fix #355 + probable bug. | Pierre Courtieu | 2018-06-11 | |
| | | | | | | | | | | | | | | | By renaming the arg load-path into loadpath I notice that a coq-load-path was used instead of it. | |||
* | | | key maps + small glitch hyp highlight/folding code. | Pierre Courtieu | 2018-06-11 | |
| | | | ||||
* | | | Changed the look of folding/unfolding hyps. | Pierre Courtieu | 2018-06-08 | |
| | | | ||||
* | | | Small fix in a regexp. | Pierre Courtieu | 2018-06-06 | |
| | | | ||||
* | | | Shorter CHANGES + smal fixes in hide/highlight hyps code. | Pierre Courtieu | 2018-06-04 | |
| | | | ||||
* | | | Click hypothesis to (un)hide them. | Pierre Courtieu | 2018-06-01 | |
| | | | ||||
* | | | Fixed a typo in previous commits. | Pierre Courtieu | 2018-06-01 | |
| | | | ||||
* | | | Updated CHANGES about hiding and highlighting of hyps. | Pierre Courtieu | 2018-05-31 | |
| | | | ||||
* | | | Infrastructure for hypothesis hiding. | Pierre Courtieu | 2018-05-31 | |
| | | | ||||
* | | | Fixing infrastructure for hypothesis highlighting. | Pierre Courtieu | 2018-05-31 | |
| | | | ||||
* | | | Merge branch 'master' of github.com:ProofGeneral/PG | Pierre Courtieu | 2018-05-31 | |
|\ \ \ | ||||
* | | | | Infrastructure for transient hyps highlighting. | Pierre Courtieu | 2018-05-31 | |
| | | | | ||||
| * | | | Merge pull request #360 from ProofGeneral/update-readme | Erik Martin-Dorel | 2018-05-29 | |
| |\ \ \ | | | | | | | | | | | Update README.md (about PG branches and license) | |||
| | * | | | Add note about PG branches and license | Erik Martin-Dorel | 2018-05-29 | |
| |/ / / | ||||
| * | | | Merge pull request #356 from stardiviner/stardiviner-patch-1 | Erik Martin-Dorel | 2018-04-22 | |
| |\ \ \ | | | | | | | | | | | Fix coq-symbol-face's :inherit attribute | |||
| | * | | | small fix of face `coq-symbol-face' | stardiviner | 2018-04-22 | |
| |/ / / | ||||
| * | | | Merge pull request #207 from SkySkimmer/master | Erik Martin-Dorel | 2018-04-08 | |
| |\ \ \ | | | | | | | | | | | Make coq-prog-args safe when list of strings. | |||
| * | | | | Merge pull request #347 from liyishuai/master | Erik Martin-Dorel | 2018-03-17 | |
|/| | | | | | | | | | | | | | | Setup CI for Emacs 25.3 | |||
| * | | | | CI Emacs 25.3 | Yishuai Li | 2018-03-11 | |
|/ / / / | ||||
* | | | | Merge pull request #344 from ProofGeneral/font-lock-fix | Erik Martin-Dorel | 2018-03-07 | |
|\ \ \ \ | | | | | | | | | | | Add a missing parameter in advice on font-lock-fontify-keywords-region | |||
| * | | | | Add a missing parameter in advice on font-lock-fontify-keywords-region | Clément Pit--Claudel | 2018-03-07 | |
|/ / / / | ||||
* | | | | Fix typos in custom variable descriptions. (#236) | Tej Chajed | 2018-03-03 | |
| | | | | ||||
* | | | | Update the AUTHORS file. | Erik Martin-Dorel | 2018-03-03 | |
| | | | | ||||
* | | | | Merge pull request #194 from ProofGeneral/update-headers | Clément Pit-Claudel | 2018-02-25 | |
|\ \ \ \ | | | | | | | | | | | Update copyright messages and improve the header of elisp files. | |||
| * | | | | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 | |
|/ / / / | ||||
* | | | | Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228) | Erik Martin-Dorel | 2018-02-20 | |
| | | | | | | | | | | | | Close ProofGeneral/PG#31 | |||
* | | | | typo in abbrevs. | Pierre Courtieu | 2018-02-07 | |
| | | | | ||||
* | | | | Merge pull request #224 from psteckler/fix-233 | Pierre Courtieu | 2018-01-30 | |
|\ \ \ \ | | | | | | | | | | | Look for vernac controls before focus bracket, possible fix for #223 | |||
| * | | | | look for vernac controls before focus bracket, fix for #223 | Paul Steckler | 2018-01-26 | |
|/ / / / | ||||
* | | | | Disable ASLR during Travis builds | Clément Pit--Claudel | 2018-01-17 | |
| | | | | ||||
* | | | | Get rid of old-style backquotes | Clément Pit--Claudel | 2018-01-16 | |
| | | | | | | | | | | | | | | | | Closes #221. Thanks @jwiegley! | |||
* | | | | Experimental fix for #220. | Pierre Courtieu | 2018-01-15 | |
| | | | | ||||
| * | | | Make coq-prog-args safe when list of strings. | Gaëtan Gilbert | 2017-12-22 | |
| | | | | | | | | | | | | | | | | They could be passed through _CoqProject regardless. | |||
* | | | | Fix #214. | Pierre Courtieu | 2017-12-11 | |
| | | | | | | | | | | | | | | | | If this works we should probably change the generic function as well. | |||
* | | | | Prettier cheat face (background + box). | Pierre Courtieu | 2017-11-06 | |
| | | | | ||||
* | | | | Fix #135. | Pierre Courtieu | 2017-11-06 | |
| | | | | ||||
* | | | | Updating CHANGES with lexer extensibility. | Pierre Courtieu | 2017-10-26 | |
| | | | | ||||
* | | | | Limited extensibility of smie token detection. | Pierre Courtieu | 2017-10-26 | |
|/ / / | ||||
| * | | phox syntax table + more symbols | Christophe Raffalli | 2017-09-22 | |
| | | | ||||
| * | | phox is back | Christophe Raffalli | 2017-09-22 | |
|/ / | ||||
* | | Fix pg-{show,hide}-all-proofs and Move them into pg-user.el. | Erik Martin-Dorel | 2017-08-15 | |
| | | | | | | | | This commit address ProofGeneral/PG#193. | |||
* | | changed -emacs-U flag to -emacs | Paul Steckler | 2017-07-19 | |
| | |